The 8000th Busy Beaver number eludes ZF set theory (2016)


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