3 ms·
That is, there are now only 2833 Turing machines whose behaviour is not yet proved before we know the five-state Busy Beaver number (https://en.wikipedia.org/wi
by Smaug123 2y ago
That is, there are now only 2833 Turing machines whose behaviour is not yet proved before we know the five-state Busy Beaver number (https://en.wikipedia.org/wiki/Busy_beaver https://en.wikipedia.org/wiki/Busy_beaver).