b'\n_START_ARTICLE_\nTeorema de los cuatro colores\n_START_SECTION_\nHistoria\n_START_PARAGRAPH_\nEl teorema de los cuatro colores surgi\xc3\xb3 como conjetura.  En 1852, Francis Guthrie era un estudiante de Augustus De Morgan y formul\xc3\xb3 esa conjetura, que no pudo ser probada por Guthrie, ni por su hermano Frederick, que hab\xc3\xada sido tambi\xc3\xa9n estudiante de De Morgan, ni por sir William Rowan Hamilton, a quien De Morgan le escribi\xc3\xb3 formulando la conjetura._NEWLINE_En 1879 Alfred Bray Kempe anunci\xc3\xb3 en la revista Nature que ten\xc3\xada una demostraci\xc3\xb3n para la conjetura.  En 1890, Percy John Heawood encontr\xc3\xb3 un error en la demostraci\xc3\xb3n de Kempe. Heawood no pudo demostrar que la conjetura no era v\xc3\xa1lida, pero sigui\xc3\xb3 trabajando en el coloreo de mapas, pudiendo probar que con cinco colores se pod\xc3\xada colorear cualquier mapa.\xe2\x80\x8b_NEWLINE_En 1976 la conjetura tuvo demostraci\xc3\xb3n, gracias a Kenneth Appel y Wolfgang Haken, que utilizaron un ordenador para la demostraci\xc3\xb3n, lo cual gener\xc3\xb3 m\xc3\xbaltiples controversias en el ambiente matem\xc3\xa1tico.\n_START_SECTION_\nLa pol\xc3\xa9mica demostraci\xc3\xb3n\n_START_PARAGRAPH_\nEl teorema de cuatro colores fue demostrado con la ayuda de un ordenador. Sin embargo, la demostraci\xc3\xb3n no es aceptada por todos los matem\xc3\xa1ticos dado que ser\xc3\xada impracticable por su gran cantidad de detalles, de manera que una persona se ver\xc3\xada imposibilitada para verificarlo manualmente. Solo queda aceptar la exactitud del programa, del compilador y del computador en el cual se ejecut\xc3\xb3 la prueba._NEWLINE_Otro aspecto de la demostraci\xc3\xb3n, que puede ser considerado negativo, es su falta de elegancia. Una cr\xc3\xadtica que habla sobre la elegancia de la misma, comentada en la \xc3\xa9poca de su publicaci\xc3\xb3n, dice: _NEWLINE_\xc2\xabuna buena prueba matem\xc3\xa1tica es similar a un poema \xe2\x80\x94\xc2\xa1pero esto es una gu\xc3\xada telef\xc3\xb3nica!\xc2\xbb.\xe2\x80\x8b_NEWLINE_En la actualidad se realiz\xc3\xb3 otra demostraci\xc3\xb3n, tambi\xc3\xa9n haciendo uso de c\xc3\xa1lculos por ordenador, lo cual verifica la prueba original; pero sigue sin existir una demostraci\xc3\xb3n que no haga uso de estos m\xc3\xa9todos.'