- 220 名前：１３２人目の素数さん [05/02/17 10:30:43 ]
- 昔、ブラウアーとか言う人が「直観主義」とかいうことを言い出して
ヒルベルト（だったかな）と論争したと思うんですけど、結局あれは決着
ついたのでしょうか。それともまだ解析学のような普通の数学をするのに
2重否定の除去はいつもできるとは限らないなどと言いながら数学してる
数学者も今現在いるのでしょうか。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef