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

pixmap のブックマーク 2021/10/02 19:17

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4709148008318928930/comment/pixmap" data-user-id="pixmap" data-entry-url="https://b.hatena.ne.jp/entry/s/jbpress.ismedia.jp/articles/-/67164" data-original-href="https://jbpress.ismedia.jp/articles/-/67164" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fjbpress.ismedia.jp%2Farticles%2F-%2F67164" data-user-icon="/users/pixmap/profile.png">熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)</a><br><p style="clear: left">この人の記事はちょっと眉に唾つけて読んだ方がいいと思う。チューリングもコンピュータにデバッグができないなんて証明していない。証明したのは自己のプログラムの停止性を判別するアルゴリズムが存在しないこと。</p><a class="datetime" href="https://b.hatena.ne.jp/pixmap/20211002#bookmark-4709148008318928930"><span class="datetime-body">2021/10/02 19:17</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！