Conway chained arrow notation: Difference between revisions

Revision as of 23:58, 1 September 2003

Revision as of 11:49, 24 December 2003

Line 56:

2→4→3

:= '''2'''→('''2'''→('''2'''→('''2''')→2)→2)→2 (by 1) ''The four copies of '''X''' (which is '''2''' here) are in bold to distinguish them from the 2 which is '''q''')''

:= 2→(2→(2→2→2)→2)→2 (rrp)

:= 2→(2→(4)→2)→2 (previous example)

:= 2→( '''2→4→2 ''')→2 (rrp) ''(expression expanded in next equation delimitedshown in bold on byboth spaceslines)''

:= 2→( '''2→(2→(2→(2)→1)→1)→1 ''')→2 (1)

:= 2→(2→(2→(2→2→1)→1)→1)→2 (rrp)

:= 2→(2→(2→(2→2)))→2 (2 repeatedly)