現代数学の系譜工学物理雑談古典ガロア理論も読む76

現代数学の系譜工学物理雑談古典ガロア理論も読む76at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む76 - 暇つぶし2ch978:感じられません >「自然数論の真偽の定義」を、私は使ったことがない >前原昭二先生のPDFでも、「自然数論の真偽の定義」 >という言葉は出てきません。あなたがPDFを読んでいないことは明らかですね「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ　「直観主義的自然数論の基礎づけは, 　　上述のような常識的解釈だけでは困難である。　　”命題の真偽”に,より精密な”定義”を与えることが必要となる。　　そして,それを実行したのが,ゲソツェンによる　　"自然数論の無矛盾性証明"である。」ほら、”命題の真偽”と”定義”が出てきたでしょう。一度でも読んでいれば気づくこと一度も読んでいないから気づけないのですよさらに続けます　「ゲーデルが…与えた自然数論の無矛盾性証明も,直観主義的　　”自然数論の命題の真偽”に1つの解釈を与えたものなのである。」ほら、”自然数論の命題の真偽”が出てきたでしょう。一度でも読んでいれば気づくこと一度も読んでいないから気づけないのですよ

次ページ

続きを表示

1を表示