computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 不完全性定理 『不完全性定理とはなにか (ブルーバックス)』の不完全性定理の証明をプログラミング言語を使って書き直していきます。しかし、すべてプログラミング言語のようにはできないので、まずはデータをプログラミング言語の式のように表すことを考えます。 不完全性定理の証明 この本の流れに沿って書き直していきます。 【ステップ1】 すべての命題 の一覧表を作る。 この本では「1変数の命題 を網羅した一覧表を作る」だったのですが変更します。命題や証明は(プログラミング言語の式のように構造を持った)「式」として表します。命題の式を論理式、証明の式を証明式と呼ぶことにします。無限個使うことができる変数名、数値はプログラ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F01%2F11%2F000129" title="不完全性定理(3) - 非専門的シンギュラリティー研究所" 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-01-11 00:01:29 rich https://computeralgebra.hatenablog.com/entry/2024/01/11/000129 1.0 100%