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 ...
|
etiquetas: demostración , breve , teorema , cuatro , colores 
