Shtetl-Optimized » Blog Archive » The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

http://www.scottaaronson.com/blog/?p=2725

This URL is bookmarked by 1 user.

First saved: 2016-May-04 (Wed)
Last checked: 2016-May-04 (Wed), response 200