ヒルベルト・プログラム 完全な数学を目指して・・・その後 (6/7章)
数学者はABC公理体系よりもZFC公理体系を選ぶ。
なぜなら
1+1=2
の方が
1+1=3
よりも、直感的に正しいと思えるから。
・・・・いや、ほんと。それ。(^^A;
数学ってのはオートメーションな学問であり
人間の主観の入る余地はありませんが。
が、ヒルベルトが提唱した通り、
数学とはただのゲームであり、
そのゲームを遊んでいるのは人間です。
だから
「ZFC公理体系：1+1=2なルール
ABC公理体系：1+1=3なルール
どっちのゲームで遊びたい？ ちなみに理論の強さは同じだよ。」
って言われたら
間違いなくZFCを選びますね。
だって私にとっては1+1=2ルールの方が自然に感じる。
わざわざ不自然な1+1=3ルールの方を選ぶ意味があまりないし。(^_^A;
仮に研究が進んでマシン・人工知能・コンピュータープログラムなどが数学を研究するようになっても
ZFCルールが選ばれるでしょうね。
なぜならマシン・人工知能・コンピュータープログラムにも
それをプログラムした人間が必ずおり、
その人がZFC、1+1=2の成立するルールを選ぶから。
前ページ 次ページ
1 2 3 4 5 6 7
トップへ