【みなさまの】数学セミナー vol.5【ごひいきに】
■ このスレッドは過去ログ倉庫に格納されています
0744132人目の素数さん
2006/05/31(水) 07:53:01現代の数学においては,その危険性は他の学問の比ではないでしょう.
ラッセルなどのパラドックスで,数学は危機を迎え,ヒルベルトは形式主義を
うちたてて,なんとかしのこうとしたわけです.
しかし,集合論でさえ,無矛盾性は証明されることは無く,かえって集合論
(ZF)によって証明されない命題が存在するという(ゲデルの不完全性定理)
が証明され,選択公理も妥当性に疑問がもたれるようになりました.
こういう状況では,数学の普遍性など気楽にいえないのでは。
初心者向けに正論はいてみました。ww
出典
328 :文kei ◆ToNjjhaRSA :2006/05/31(水) 05:16:56
http://science4.2ch.net/test/read.cgi/math/1148471673/328
■ このスレッドは過去ログ倉庫に格納されています