ta_so_ka_re https://blog.hatena.ne.jp/ta_so_ka_re/ ゆるゆる べんきょう https://obenkyo.hatenadiary.com/ 論理学 9章 証明の数値的表現 これまでの議論において、「xは公理である⇔Axiom(x)」や「xは証明列である⇔Proof(x)」といった、ゲーデル数を引数にとる述語を、自然数論の体系 N において再帰的に構成できると述べてきた。それを示している。 なお、「xは証明可能である⇔Pr(x)」、「xは反証可能である⇔Re(x)」もNにおいて表現できるが、それは再帰的ではない。 コンピュータ言語みたいっすなー。一つ一つはきちんと見ていないが実際にできるだろうということは納得がいく。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fobenkyo.hatenadiary.com%2Fentry%2F2017%2F05%2F11%2F203049" title="北田 発見への道 9章 - ゆるゆる べんきょう" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-05-11 20:30:49 rich https://obenkyo.hatenadiary.com/entry/2017/05/11/203049 1.0 100%