New top story on Hacker News: The 8000th Busy Beaver number eludes ZF set theory

The 8000th Busy Beaver number eludes ZF set theory
1 by czhu0217 | 0 comments on Hacker News.


Popular posts from this blog