“The 8000th Busy Beaver number eludes ZF set theory”

In case you haven’t seen it: this blog post by Scott Aaronson (on a new paper co-authored with Adam Yedidia), written with his usual clarity and zest, is fascinating!

This entry was posted in This and that. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *