>>103
>>5のリンク先の話を支持するわけじゃないけど一番肝心な計算機絡みの実際のプログラミングとかが直感主義的な数学に相当するのでブラウアーとかの言い分もそれなりに頭から否定しがたいところがあるんだが。