Content deleted Content added
3 more steps |
|||
Line 72:
:= 2→(2→(2→(...16...)))) (3)
:= 2→(very large power of 2) (3 repeatedly)
:= ''very very big number'' (2^^257, where "^^"" is knuth's arrow notation?)
2→3→2→2
|