The road to epsilon-zero: ordinals as Nim-heaps

2 pointsposted 4 hours ago
by surprisetalk
(blog.plover.com)

No comments yet