computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 不完全性定理 プログラミング言語版不完全性定理(7) 「不完全性定理(8) - エレファント・ビジュアライザー調査記録」の式の計算は『数学基礎論 (ちくま学芸文庫)』に基づいて考えたと思うのですが、うまく対応しているかどうかわかりません。式をどうやって導いたかやり直してみます。そこで『数学基礎論 (ちくま学芸文庫)』の「第2不完全性定理について」の記述を引用します。計算を元にこのように書いてほしかったのですがうまくいきませんでした。 第2不完全性定理について 「ZFが矛盾する」というのは「 が［ZFで］証明できる」ということである。 のゲーデル数は であり、記号の列と考えたときの のゲーデル数は であるから… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F02%2F26%2F001722" title="不完全性定理(12) - 非専門的シンギュラリティー研究所" 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-26 00:17:22 rich https://computeralgebra.hatenablog.com/entry/2025/02/26/001722 1.0 100%