- 862 名前：１３２人目の素数さん mailto:sage [2006/03/01(水) 19:07:14 ]
- 排中律云々は飽くまで結果であってそれが最初にあるわけではないでしょ
直観主義でまず大事なのはなぜ彼らが直観主義の立場を取るかだと
思うんだけど、そこらへんの事が書かれてる本ってどういうわけだか非常に少ないんだよね
だから普通に論理学の本で直観主義を勉強すると
「なんか世の中には奇特な人が居て排中律を認めないらしいぞ」
とかそういう感想になる
そこいらのことがもっと知りたかったから勁草書房かどっかから出てる
数学の哲学の高い本買ったんだけど、まだほとんど読んでないやｗ
>>858
直観主義者だって時間の函数だとは思ってないんじゃないかな
まあAxiom of Choiceが「正しい」公理だと見做されるかどうかは結構
時代によって違ったりしてると思うけどね
