5 ms·
The 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.scot
by DonbunEf7 8y ago
The 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