アルターエゴ mode LPH Jul 05, 2024 11:36AM [計算機理論] BB(5) 確定是 35 年前發現的那台會跑四千七百多萬步, 寫出四千出頭個 1 後停止的圖靈機了; 證明的最後一小步是由 Coq 輔助證明的Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turi...