数学基礎論・数理論理学 その19 (550ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
202(1): 2024/05/09(木)08:47 ID:kr5FQ87d(2/16) AAS
>>199
>正しくは、ヒルベルト・プログラムの研究
>有限の立場（形式主義）
ここでいう有限の立場は具体的に言えば原始帰納的算術(PRA)
外部ﾘﾝｸ:ja.wikipedia.org
これはペアノ算術より弱い体系である
203(2): 2024/05/09(木)09:46 ID:1s3pLI9I(1/12) AAS
>>202
PRAで定義される帰納的関数の全体って可算じゃない？比嘉さんになりそうな気がしないけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.019s