Brian Lovin
/
Hacker News
The 8000th Busy Beaver number eludes ZF set theory (2016)