"Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that.""
Probably better than you. There is no such thing as a terminating number, and the article mentions "the shortest terminating program to produce the largest number whose output size exceeds Graham's number". Which should be an expression better than ack(9,9).
But since you can emit just inf, you don't need a turing machine/lambda calculus at all.
"Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that.""
https://news.ycombinator.com/newsguidelines.html
Probably better than you. There is no such thing as a terminating number, and the article mentions "the shortest terminating program to produce the largest number whose output size exceeds Graham's number". Which should be an expression better than ack(9,9). But since you can emit just inf, you don't need a turing machine/lambda calculus at all.
Infinity isn't a specific value, it's not interesting in this context.