トップページ⇒math

652コメント203KB

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

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

0088１３２人目の素数さん

2005/09/13(火) 16:30:30

>>87

定理の証明が出来るということは不思議な能力だという考えは？

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