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

コンピューターによる ..

21:１３２人目の素数さん
05/09/08 16:06:50
>>20

それはバカチョン方式でしらみつぶしに証明を探る方法でしょ。
例えば宇宙の原子の数なんて10^50程度のオーダーしかない。
ちょっと難しい定理の機械証明の探索論理ステップ数なんて
そんなオーダーの組合わせ数じゃ済まないんじゃないの？

次ページ