652コメント203KB

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

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

0143１３２人目の素数さん

2005/09/22(木) 15:14:37

人間だって有限時間で全ての定理を証明する事はできないジャン

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