An alarming trend in K-12 math education: a guest post and an open letter

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

Scott Aaronson, when reached for comment, said