トップページ⇒math

149コメント157KB

四色問題のコンピュータ証明は証明と言えるの?

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

0001 [―{}@{}@{}-] １３２人目の素数さん

2011/01/23(日) 18:18:30

どうなの?
ソフトのバグだけじゃなくてハードのバグまで検証出来てるの?

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