Как бы не совсем : http://de.wikipedia.org/wiki/Vier-Farben-Satz http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%87%D0%B5%D1%82%D1%8B%D1%80%D1%91%D1%85_%D0%BA%D1%80%D0%B0%D1%81%D0%BE%D0%BA http://window.edu.ru/window_catalog/files/r20367/0007_091.pdf
это что то по принципу неуловимого Джо похоже. Всем хватает частных случаев.
Официально 100% признанного и перепроверенного доказательства вроде так и нет, да и то что есть доказано только с помощью программ, которые тоже не перепроверяли.
Это не так. Копьютерного доказательство вполне достаточно, и оно проверено. Кроме того с 83 года появилась масса упрощений и альтернативных доказательств.
no subject
Date: 2009-10-20 11:23 am (UTC)no subject
Date: 2009-10-20 11:34 am (UTC)Для плоскости, сферы, тора, бутылки Клейна точно доказано.
no subject
Date: 2009-10-20 11:49 am (UTC)http://de.wikipedia.org/wiki/Vier-Farben-Satz
http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%87%D0%B5%D1%82%D1%8B%D1%80%D1%91%D1%85_%D0%BA%D1%80%D0%B0%D1%81%D0%BE%D0%BA
http://window.edu.ru/window_catalog/files/r20367/0007_091.pdf
это что то по принципу неуловимого Джо похоже. Всем хватает частных случаев.
no subject
Date: 2009-10-21 02:06 pm (UTC)no subject
Date: 2009-10-22 05:17 am (UTC)no subject
Date: 2009-10-22 05:22 am (UTC)http://en.wikipedia.org/wiki/Four_color_theorem#Proof_by_computer