- 665 名前：STS446 [2012/09/05(水) 23:56:58.89 ]
- >>664
とはいえ、もともと二階算術ってのは「人工的」なものなのですよね。
どれだけ算術を強めればどれだけの定理が証明可能か。
数学のある命題にはどれだけの公理の強さが必要か。
それを集合論のような複雑なものではなく、
古典数学的な簡素な公理である必要がある。
それらはダイレクトに再帰理論的な研究対象だからね。
まぁ代数幾何とか微分幾何レベルまで巨大化した世界には余り向かないね。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その13
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef