トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0462
132人目の素数さん
2009/01/15(木) 14:36:30
質問自体がトンチンカンなんだよなあ。第一
>そういう定理が「ある」か「ない」か
に答えてもらえば解決すると思ってんだからなあ。マナカナのどっちが美人かを決めれば
解決すると思い込むのと変わらんよなあ。
結局、バカは自分がバカだと認識することはできないんだなあ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています