nuc https://blog.hatena.ne.jp/nuc/ 白のカピバラの逆極限 S.144-3 https://nuc.hatenadiary.org/ そう、それでペンローズの「不完全性定理を利用した強いAI論への反駁」の何が問題なのかをようやく理解したもののこれを説明するのは大変だ。 「到達不可能基数の存在は ZFC から独立である」 これは論理学の専門家でもよく勘違いしてしまう誤りです。というのは、到達不可能基数の存在は、通常の数学がすべて展開できるとされる ZFC から導くこと (つまり証明すること)は出来ません。これは有名な事実ですが、この事実を念頭に、つい「独立である」と言ってしまうようです。 ある命題がある公理系から独立であるというのは (標準的な論理学の用語法では)、その命題の肯定も否定も公理系から導かれないことです。つまり、到… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuc.hatenadiary.org%2Fentry%2F20080406%2Fp13" title="到達不可能基数の存在 - 白のカピバラの逆極限 S.144-3" 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 2008-04-06 00:00:12 rich https://nuc.hatenadiary.org/entry/20080406/p13 1.0 100%