computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 不完全性定理 プログラミング言語版不完全性定理(8) 第2不完全性定理の証明を書き直していきます。 証明関数 論理式と証明図をプログラミング言語のコードとして表すことができるシステムについて考えます。このシステムで論理式が証明できるかどうかを調べるプログラミング言語の関数 があるとします。 に入力された論理式のコード に対して (P1) は終了して「成功」を返す (P2) は終了して「失敗」を返す (P3) それ以外 の場合があるとします。(P1) のとき と表すことにします。(P1) 以外のとき と表すことにします。 論理式の形式 まず『数学基礎論 (ちくま学芸文庫)』の記述に合わせて論理式のコードを論理… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F03%2F05%2F214618" title="不完全性定理(13) - 非専門的シンギュラリティー研究所" 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-03-05 21:46:18 rich https://computeralgebra.hatenablog.com/entry/2025/03/05/214618 1.0 100%