コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch191:132人目の素数さん 05/12/23 08:55:10 コンピューターで扱っているのは有限の2進数だから 近似値としての無理数以外扱えない。無理数の近似値 は有限の数、すなわち有理数のなかで有限のものだけ しか正確には扱えない。これで様子を調べるとか近似値 を求めることはできる。科学実験ではそれで十分かも しれないが数学はそういう立場ではないでそ。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch