13/05/14 22:10:35.73 kNjeikVF
ケプラー予想
「ある空間について最も密度高く球を詰め込む配置は、六方最満充填である」
四色地図問題
「いかなる地図も、隣接する領域が異なる色になるように塗るには4色あれば十分である」
...どちらも数学の長年解けない問題だったが
「コンピューターにより、起こり得る全てのパターンを考察する」と言う
超力業で証明された
証明の正しさの確認は、
証明手順の正しさと、プログラムにミスがないかの確認だけと言う
超つまらないモノだったそうな
13/05/14 22:10:35.73 kNjeikVF
ケプラー予想
「ある空間について最も密度高く球を詰め込む配置は、六方最満充填である」
四色地図問題
「いかなる地図も、隣接する領域が異なる色になるように塗るには4色あれば十分である」
...どちらも数学の長年解けない問題だったが
「コンピューターにより、起こり得る全てのパターンを考察する」と言う
超力業で証明された
証明の正しさの確認は、
証明手順の正しさと、プログラムにミスがないかの確認だけと言う
超つまらないモノだったそうな