コンピューターによる定理の自動証明
■ このスレッドは過去ログ倉庫に格納されています
0217132人目の素数さん
2006/01/08(日) 03:41:06ゲーデルも、真理に到達するには科学的世界観だけではダメで、神学的世界観も
必要だと考えていたらしい。
来世は存在する。来世が存在しないとしたら今いるこの世界にも意味がないのだそうだ。
この本に書かれていた。
http://bookweb.kinokuniya.co.jp/htm/4535782598.html
■ このスレッドは過去ログ倉庫に格納されています