computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 不完全性定理 『不完全性定理とはなにか』の新しい版(不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか (ブルーバックス B 2277))が出ていたので、旧版のわかりにくかったところが書き換えられているのかどうかを調べようと思ったのですが、書き換えられているかどうかはよくわかりませんでした。そこでそれを調べる前に、まずチューリング機械の停止問題について ChatGPT で調べてみました。 チューリング機械の停止問題 ChatGPT で以下のように入力しました。 プログラミング言語Cと同等の機能をもち、かつメモリー不足で停止することはなく永久に動き続けることができるプログラミング… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F12%2F17%2F012742" title="不完全性定理(5) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51XjgtnmPYL._SL500_.jpg Hatena Blog https://hatena.blog 2024-12-17 01:27:42 rich https://computeralgebra.hatenablog.com/entry/2024/12/17/012742 1.0 100%