トップページ⇒math

652コメント203KB

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

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

0372１３２人目の素数さん

2008/01/19(土) 00:02:37

>>106
ヒント【ゲーデルの不完全性定理】

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