トップページ
⇒
tech
981コメント
300KB
関数型プログラミング言語Haskell Part9
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0027
デフォルトの名無しさん
2008/05/19(月) 00:16:50
>>24
その例のようなことが成り立つ数体系が便利だから、
たまたま人間が採用して「正しい」として使ってるだけとも言える
とはいえ、「数学は人間の存在にかかわらず成立するから
数学はこの世の真理の一つだ」と主張する哲学者もいたような
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています