2 ms·
Some earlier blog posts by the same author give more detail. https://www.sligocki.com/2021/07/17/bb-collatz.html https://www.sligocki.com/2021/07/17/bb-collatz
by penteract 2y ago
Some earlier blog posts by the same author give more detail.
https://www.sligocki.com/2021/07/17/bb-collatz.html https://www.sligocki.com/2021/07/17/bb-collatz.html is one that covers the analysis of a particular machine in great detail, including explaining what definitions like "M(n) = 0^inf < A 1^n 0^inf" mean.