Search found 1 match

by jacquesb
Sat Jan 13, 2018 2:36 pm UTC
Forum: Mathematics
Topic: Simmons notation for transfinite ordinals
Replies: 0
Views: 5660

Simmons notation for transfinite ordinals

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...

Go to advanced search