トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0246
132人目の素数さん
2006/01/14(土) 16:34:18
>>236
○○作成ソフトの○○が100年後に発見される概念だったら
現時点で○○作成ソフトは作れない。そして○○を発見するという
仕事が数学者に残される。その様な○○はいくらでもありそうなので
数学者の仕事はなくならない、・・・というはなし
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています