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

The 8000th Busy Beaver number eludes ZF set theory (2016)
161 by czhu0217 | 91 comments on Hacker News.

• Tweet
• Share
• Share
• Share
• Share