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

The 8000th Busy Beaver number eludes ZF set theory

Comments