La demostración del teorema de los cuatro colores de Kenneth Appel y Wolfgang Haken obtenida mediante ordenadores en 1976 no gusta a muchos matemáticos pues es extremadamente larga (cientos de páginas de análisis matemático que concluyen con el análisis de 1936 contraejemplos que han de ser verificados sistemáticamente por ordenador). ¿Es posible demostrar el teorema de los cuatros colores de forma breve? Jin Xu proclama que ha obtenido dicha demostración en sólo 60 páginas de matemáticas ...
Comentarios
60 páginas Din A3 con arial itálica 5px
Yo como informático de pro, seguiré esperando a la resolución si P = NP.
Visto en http://francisthemulenews.wordpress.com/2009/11/11/posible-demostracion-breve-del-teorema-de-los-cuatro-colores-en-solo-60-paginas/
#0 Sólo es cuestión de hacer las páginas más largas...