トップページ⇒math

652コメント203KB

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

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

0247１３２人目の素数さん

2006/01/14(土) 17:34:43

>>246
コンピュータに新しい概念を発見することはできないと思う理由は?
発見できそうもないと>>246が思うから発見できるはずがない?

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