3 ms·
What's the smallest known busy beaver with this property?
by MichaelBurge 8y ago
What's the smallest known busy beaver with this property?
- MrEldritch 8y agoThe one described in the post.
- DonbunEf7 8y agoThe one described in Scott's next post [0] is the current champion, I think, coming in at 1919 states and halting iff ZFC is inconsistent. [0] https://www.scottaaronson.com/blog/?p=2741 https://www.scottaaronson.com/blog/?p=2741