Diferencia entre revisiones de «Teorema de los cuatro colores»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de Heylan (disc.) a la última edición de 88.0.130.92 |
||
Línea 12:
El problema de los cuatro colores fue planteado por primera vez por Francis Guthrie en 1852 y resuelto en 1976 por Kenneth Appel y Wolfgang Haken con la ayuda de un ordenador.
El [[teorema]] de cuatro colores ha sido demostrado con la ayuda de un [[ordenador]]. La prueba sin embargo, no es aceptada por todos los matemáticos dado que sería impracticable por su gran cantidad de detalles que una persona se vería imposibilitada de verificar manualmente. Sólo queda aceptar la exactitud del programa, del compilador y del computador en el cual se ejecutó la prueba.
Línea 22:
Un ejemplo de esta teoría es el hecho de que Africa, como zona geográfica, no puede ser coloreada con 3 colores.
En 1852 Francis Guthrie planteó por primera vez este teorema y fué resuelto en 1976 por Kennet Appel y Wolfan Haken.
No obstante el teorema no ha sido aceptado por los matemáticos modernos debido a que es dificil su comprobación manual.
Actualmente el teorema solo se ha hecho valido para mapas que tengan no más de 38 regiones, y retomando el ejemplo de Africa, que tiene mas de 38 regiones, no podría incluso colorearse con 4 colores sin que queden paises adyacentes con el mismo color.
== Referencias ==
<references />
| |||