アルターエゴ mode LPH
@progheal
Fri, Jul 5, 2024 11:36 AM
[計算機理論] BB(5) 確定是 35 年前發現的那台會跑四千七百多萬步, 寫出四千出頭個 1 後停止的圖靈機了; 證明的最後一小步是由 Coq 輔助證明的
Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turi...
アルターエゴ mode LPH
@progheal
Fri, Jul 19, 2024 2:47 AM
Shtetl-Optimized » Blog Archive » BusyBeaver(5) is n...
這個 blog 的作者之前做過一些跟 BB 有關的研究和 survey (我曾經貼過他和其他人做出的 BB(7910) 在ZF 中不可證，不過後來有人減少到 748 狀態了)
不過我倒是不知道原來這個五狀態的冠軍做的也是 Collatz-like 計算……六狀態的結果可能也會需要相關理論有進展才行的樣子
載入新的回覆