The 8000th Busy Beaver number eludes ZF set theory (2016)scottaaronson.blog114 pointsjkubicek3 years ago