Login
Roast topics
Find topics
Find it!
From:
sligocki
(Uncensored)
subscribe
BB(3, 4) > Ack(14) | sligocki
https://www.sligocki.com//2024/05/22/bb-3-4-a14.html
links
backlinks
Roast topics
Find topics
Roast it!
Pavel has found a 3-state 4-symbol TM which can compute an “Ackermann-level” function and halts with exactly
