[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
605(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 05/02(金)16:05 ID:s/7BO1KV(6/11) AAS
>>593
>数学の世界に権威は存在しない
うむ
”数学の世界に権威は存在しない”ね
さて 下記の
ゲーデルの不完全性定理 第二不完全性定理より
"初等的な自然数論"を含む理論 Tが無矛盾ならば，
省22
607: 05/02(金)16:15 ID:BylR5fio(13/24) AAS
>>605
>ちょっと、形成判断が狂っている気がするけどねｗｗ ；ｐ）
君の判断はまったく当てにならないから書かなくてよろしい
ところでなんで御大に聞かないの？
君、いつも媚びへつらってるからワンチャン聞いてくれるかもよ 聞いてみなよ
611(1): トイレのうんち 05/02(金)16:36 ID:gUNjSKXL(14/28) AAS
>>605
> ゲーデルの不完全性定理 第二不完全性定理より
> "初等的な自然数論"を含む理論 Tが無矛盾ならば，
> Tの無矛盾性を表す命題 Con(T) がその体系で証明できない
> つまり 間違いを示すことの方が、簡単な場合が多い
> 証明や理論が正しいことの証明は、以外と難しいものだ
全くトンチンカン 頭大丈夫？
省18
613: トイレのうんち 05/02(金)16:41 ID:gUNjSKXL(15/28) AAS
>>605
> 御●が正しいことの証明は、難しくてできないが
そもそもできない
御●の主張
「KKKの主張は、実数論により正当化できる」
これに対する反論
「KKKの主張は、実数論を理解した上でのものではないので
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s