熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)

（小谷太郎：大学教員・サイエンスライター） 2021年8月24日（日本時間）、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明」したと発表しました＊1。 ・・・と聞いても、全く意味が分からない、というのが普通の人類の反応ではないでしょうか。 「熱平衡化」とは何でしょう。「解決不可能な問題であることを証明」とは、結局何かを解決したのでしょうか、それともしてないのでしょうか。解決できないのがどうしてそんなに誇れる成果なのでしょう。 この発表は、理論物理学の先端にして斬新な成果です。熱平衡化しない系という、研究者が頭を悩ます不可思議な問題に、チューリングマシンなる計算機械を持ち込んで、基礎から工事し直しちゃったというような結果なのです。 この、かなり高度で難解な理論物理学の成果を、私の咀嚼力のおよぶか

[pixmap]

この人の記事はちょっと眉に唾つけて読んだ方がいいと思う。チューリングもコンピュータにデバッグができないなんて証明していない。証明したのは自己のプログラムの停止性を判別するアルゴリズムが存在しないこと。