コンピューターによる定理の自動証明
■ このスレッドは過去ログ倉庫に格納されています
0192132人目の素数さん
2005/12/23(金) 09:02:15>プロテスタントの狂信者くらいしか居ない訳ですが
こういう風にカルトしか単純な科学的世界観を否定しない
などと思っているのは日本以外の文化を知らないから。
ニュートン力学の神も仏もない世界観に対する議論は
さんざんされて、結局一部の狂信的な科学信奉者以外
受け入れてはいない。ニュートンに代わってアインシュタイン
がもてはやされる理由はこのあたりにもある模様。
■ このスレッドは過去ログ倉庫に格納されています