- 226 名前：１３２人目の素数さん mailto:sage [05/02/17 14:48:12 ]
- 現在、二重否定除去を無条件に認めない数学は確かにあって、
構成主義解析とかはそれを認めません。
ただ、二重否定は兎に角認めちゃいけないんだ、
とただ宗教のように二重否定除去を拒絶するんじゃなくて、
本人の人たちは、それなりの理由があってそうしています。
ただ、今の数学においては明らかに異端で、
数学者が1000人いたら、999人は普通の論理を普通に使う数学者です。
多分直観主義で数学やるのなんて、直観主義自体の研究を
除いたら構成主義解析くらいしか無いんじゃないかと思います
「数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える」
「リーディングス 数学の哲学―ゲーデル以後」
なんかが参考になるかと。
