Inter-universal geometry と ABC予想 (応援スレ) 71 (654ﾚｽ)
上下前次1-新
55(2): 04/23(火)00:42 ID:nfeXM0n/(1/9) AAS
“標準の数学”について理解するにはそれがひとまずの完成にいたる経緯は少し理解していないといけない。
ヒルベルトあたりから議論がはじまった。
ヒルベルトの最初の目論見としては
?どんな言語をつかうのか
?どんな公理をつかうのか
?どんな推論則をつかうのか
決めてしまってそれを合意共有する。そこから演繹された命題を“真”、否定が演繹された命題を“偽”とさだめよう。
言語や推論測はあまり議論の余地はなかろう、公理としてなるべくみんなが納得できる、しかし“真”でも“偽”ない命題が発生したりすることの内容十分強力な公理系を用意することは可能であろう。
しかし今日ではよく知られた通りこの目論見は失敗におわる。ゲーデルの不完全性定理
公理系が機能的に枚挙可能で体系が自然数論のモデルを含むならその公理系は不完全である、すなわち P も not P も証明できない命題を必ず含む。
省1
上下前次1-新書関写板覧索設栞歴
あと 599 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.006s