S scottaaronson.blog The 8000th Busy Beaver number eludes ZF set theory (2016) 114 points jkubicek 3 years ago 97 comments
