652コメント203KB

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

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

0109１３２人目の素数さん

2005/09/14(水) 22:41:57

一応確認すると、定理全体の集合は recursively enumerable ですよね？

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