652コメント203KB

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

■ このスレッドは過去ログ倉庫に格納されています

0058名無しさん＠そうだ選挙に行こう

2005/09/11(日) 22:54:00

コンピュータにPeano算術での自動証明プロセスを与えて、
しらみつぶしで￢(0=0)の証明を探索させたら、
もしかしたら有限時間内に「証明あり」って出力が返る可能性がある?
もしそうなったらどうなるの?

■ このスレッドは過去ログ倉庫に格納されています