[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
896: １３２人目の素数さん [sage] 2019/09/09(月) 10:09:24.61 ID:uwfnXwUu >>892 >まあ、その言い分を一応は認めます 「まあ、その」と「一応は」は削除してください 誠意が感じられません >「自然数論の真偽の定義」を、私は使ったことがない >前原昭二先生のPDFでも、「自然数論の真偽の定義」 >という言葉は出てきません。 あなたがPDFを読んでいないことは明らかですね 「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ 「直観主義的自然数論の基礎づけは, 上述のような常識的解釈だけでは困難である。 ”命題の真偽”に,より精密な”定義”を与えることが必要となる。 そして,それを実行したのが,ゲソツェンによる "自然数論の無矛盾性証明"である。」 ほら、”命題の真偽”と”定義”が出てきたでしょう。 一度でも読んでいれば気づくこと 一度も読んでいないから気づけないのですよ さらに続けます 「ゲーデルが…与えた自然数論の無矛盾性証明も,直観主義的 ”自然数論の命題の真偽”に1つの解釈を与えたものなのである。」 ほら、”自然数論の命題の真偽”が出てきたでしょう。 一度でも読んでいれば気づくこと 一度も読んでいないから気づけないのですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/896
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 106 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s