トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0198
132人目の素数さん
2005/12/23(金) 09:20:28
>実験環境を整えてある実験をしたところ99回とも同じ、面白い結果が出た
同じ実験をして違う結果がでると実験屋さんたちは認めないんでしょ。
数学の反例みたいなもんで。現実はわからんのをいいことに捏造なんか
もあるかもしらんが。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています