Search found 1 match
Search found 1 match • Page 1 of 1
- Sat Jan 13, 2018 2:36 pm UTC
- Forum: Mathematics
- Topic: Simmons notation for transfinite ordinals
- Replies: 0
- Views: 6170
Harold Simmons defined a simple but powerful notation for transfinite ordinals. In summary : - It uses lambda calculus formalism - Fix f z = f^ω (z+1) = limit of z+1, f(z+1), f(f(z+1)), ... ; ; it is the least fixed point of f strictly greater than z - Next = Fix (a -> ω^a) ; Next a is the least ε_b...