Comment by rurban
3 years ago
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.