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

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

コンピューターによる定理の自動証明 - 暇つぶし2ch231:１３２人目の素数さん
06/01/13 12:45:06
ゲーデル&タルスキーによって、次のことが
証明されています：

いかなる数学的問題でも
機械的計算で解決できるような
コンピュータ-プログラムは、
作れない。