S scottaaronson.com The 8000th Busy Beaver number eludes ZF set theory (2016) 190 points czhu0217 8 years ago 110 comments
