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

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

コンピューターによる定理の自動証明 - 暇つぶし2ch244:１３２人目の素数さん
06/01/14 12:18:41
ＺＦＣとかの形式体系における証明に書き直せる証明は
時間が無限にあれば絶対に見つけられるよ。
リウビルの定理を用いた基本定理の証明も当然できる。
効率よく見つける方法は分野の相違に関係なく難しい。
計算機は分野の認識なんかしない。（させようとしなければ）

次ページ

続きを表示

1を表示