Conway chained arrow notation: Difference between revisions

Revision as of 20:37, 31 August 2003

Revision as of 21:03, 31 August 2003

Line 29:

1→(''any arrowed expression'')

:= 1 since the entire expression eventually reduces to 1^number = 1

(Indeed, any chain containing a 1 can be truncated just before that 1; ie ''X→1→Y=X'' for any (embedded) chains ''X,Y''.)

4→3→2