[FOM] 271:Clarification of Smith Article

Timothy Y. Chow tchow at alum.mit.edu
Wed Mar 29 18:09:56 EST 2006


Andreas Weiermann wrote:
>I meant by my question whether the number of symbols
>needed for the proof of Theorem 1 in finite mathematics
>is larger than the Graham number.

Yes, this should have been obvious; sorry for my carelessness.

Graham's number is somewhere between n(3) and n(4), and much smaller than 
TREE[3].

Tim


More information about the FOM mailing list