ゲーデル&タルスキーによって、次のことが
証明されています：

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