トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0191
132人目の素数さん
2005/12/23(金) 08:55:10
コンピューターで扱っているのは有限の2進数だから
近似値としての無理数以外扱えない。無理数の近似値
は有限の数、すなわち有理数のなかで有限のものだけ
しか正確には扱えない。これで様子を調べるとか近似値
を求めることはできる。科学実験ではそれで十分かも
しれないが数学はそういう立場ではないでそ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています