関数型プログラミング言語Haskell Part9

関数型プログラミング ..

27:デフォルトの名無しさん
08/05/19 00:16:50
>>24
その例のようなことが成り立つ数体系が便利だから、
たまたま人間が採用して「正しい」として使ってるだけとも言える

とはいえ、「数学は人間の存在にかかわらず成立するから
数学はこの世の真理の一つだ」と主張する哲学者もいたような

次ページ