computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 不完全性定理 プログラミング言語版不完全性定理(6) 「不完全性定理(8) - エレファント・ビジュアライザー調査記録」では第2不完全性定理の式の計算を抽出して、そこから ChatGPT を使って第2不完全性定理の証明を書いてもらおうとしました。第1不完全性定理の式の計算は少し間違っていたので、第2不完全性定理の方も間違っているかもしれません。これを確かめていきます。その前に第2不完全性定理について ChatGPT で書いてもらいました。 第二不完全性定理を証明支援システムで証明できるように書き直してください と入力すると以下の結果となりました。 ゲーデルの第二不完全性定理は、形式体系 が以下の条件を満たす… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F02%2F25%2F235304" title="不完全性定理(11) - 非専門的シンギュラリティー研究所" 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 2025-02-25 23:53:04 rich https://computeralgebra.hatenablog.com/entry/2025/02/25/235304 1.0 100%