トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0593
132人目の素数さん
2009/02/28(土) 19:31:02
>>この世は離散だから解析学は滅びるべきだよ。
ものの長さや、時間の流れは連続だが。
偏った"この世"じゃねーか?
実数の公理を使えば、コンピュータでも実数の性質を扱うことは出きるだろ。JK。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています