fp.
newest
Open in hackernews
The road to epsilon-zero: Productive programs and well-founded orders
https://blog.plover.com/math/ordinals/05-shortlex.html
1
•
pavel_lishin
•
15m ago