>>351
いや、直観主義論理に価値を認めてる計算機屋は多いと思うけど
実際に自分の主義として直観主義を採用してる計算機屋はあまり多くないと思うけど。

直観主義論理を研究する事と、実際に数学の証明として排中律を認めないことは別。

>>361
岩波現代文庫「怠け数学者の記」p227

小平 一度アティヤに、「基礎論に興味がありますか」ときいてみたんですよ。
そしたら、ぜんぜん興味がない、厳密性というのは時代の関数だから、そんなこと心配する必要
はないっていうんですよ。

「数学」でも「数学の真理」でも無くて「厳密性」でした。

>>373
俺も中村八束によるJordanの閉曲線定理の証明は認めないｗｗｗ