トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0581
132人目の素数さん
2009/02/20(金) 03:27:49
そもそもメモリーセルがON,OFFの離散だから
連続を扱えるはずがない。
お絵かきソフトで直線を書いてもドットの粒が並んでるだけだよ。
直線は絶対にかけないよ。
それどころか紙と鉛筆ですら直線は書けない。
鉛筆の分子が有限個、紙の上に並んでいるだけだから。
というかこの世は離散だから解析学は滅びるべきだよ。
実数も。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています