トップページ
⇒
math
149コメント
157KB
四色問題のコンピュータ証明は証明と言えるの?
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0002
132人目の素数さん
2011/01/23(日) 18:21:25
俺も同じこと考えたことあるけど、
それを言ったら、人間が証明読んでチェックすることの方がよっぽど信頼性低い気がする
誰か解説してくりゃれ
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています