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

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://scottaaronson.blog/?p=2725