[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
353(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/22(日)13:23 ID:pGQluwbN(5/7) AAS
つづき
クリーネ（2009、p.479）は1952年に、特にヒルベルトによって開始された形式主義プログラムの文脈におけるゲンツェンの結果の重要性について次のようにコメントした。
形式主義者が無矛盾性の証明によって古典数学を安全にするという当初の提案では、ε 0までの超限帰納法のような方法を使用する必要があるとは考えられていませんでした。ゲンツェンの証明が、問題の定式化の意味で古典数論を安全にするものとしてどの程度受け入れられるかは、現状では、ε 0までの帰納法を有限な方法として受け入れる用意があるかどうかによって、個人の判断に委ねられています。
対照的に、バーナイズ（1967）は、ヒルベルトの有限手法への限定が制限的すぎるかどうかについて次のようにコメントしている。
したがって、「有限のスタンドプンクト」は古典的な推論方法の唯一の代替手段ではなく、証明理論の考え方によって必ずしも暗示されるものではないことが明らかになりました。したがって、証明理論の方法の拡張が提案されました。つまり、有限主義的な推論方法に縮小するのではなく、より一般的な推論形式を扱えるように、議論が構成的な性質を持つことだけが求められました。
ゲンツェンの証明によって始まった研究
ゲンツェンの証明は、いわゆる証明論的順序解析の最初の例です。順序解析では、整列していることが証明できる（構成的）順序数がどれだけ大きいか、または同等に、超限帰納法が証明できる（構成的）順序数がどれだけ大きいかを測定することによって、理論の強さを測ります。構成的順序数は、自然数の 再帰的整列の順序型です。
省13
356: 2024/12/23(月)07:59 ID:XUEChow2(1/2) AAS
>>352-353
証明論的順序解析は、数学としては意味があるが
数学の基礎付けとして意味があるか、といえば答えは否
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s