コンピューターによる定理の自動証明

コンピューターによる定理の自動証明at MATH

コンピューターによる定理の自動証明 - 暇つぶし2ch91:１３２人目の素数さん
05/09/13 17:51:05
地球の原子すべてをシミュレーション出来るコンピュータが出来たら生物はもちろん文明さえもシミュレーション
出来るのではないか。