[過去ﾛｸﾞ] 自然言語処理スレッド その５ (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
359(1): 2018/10/01(月)20:52 ID:tFkIuvl3(4/5) AAS
正確にいうと、「定理」はすべて正しい。
「前提（公準）」は正しいものとして、
そこから、「定められた導出規則」によって
証明されたものが「定理」なわけだから。
そうなると、「フェルマーの小定理」とか
「フェルマーの大定理」とかいうのは不正確であり、
フェルマー自身による証明も残されていないので、
どちらも「フェルマー予想」と呼ぶのが正しいのでは
ないだろうか。
まぁ、「ユークリッド幾何学」っつーのは、かなり
“やりすぎ” な感じはするが、構成的な数学の
基礎としては、よくできていると思う。
整数論は、「ペアノの公準」がある（つーか、
ヒルベルトの数論がある）ので、いいことにしよう。
だけど実数が出てくるあたりから、「あれ、やばいんじゃねぇ？」
みたいな話をゲーデルが始めてややこしくなった。
上下前次1-新書関写板覧索設栞歴
あと 643 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s