Ok, eso es un teorema Como dice en esta pregunta .
Simplemente no puedo entender cómo las matemáticas pueden probar tal cosa; ¿Qué dice exactamente este teorema? ¿Cómo demostrarlo matemáticamente?
¡Gracias!
Respuesta
¿Demasiados anuncios?
La primera prueba fue debido a Appel y Haken en 1977. Sin embargo, como se ha señalado por Willie Wong, no es muy legible. A muy grandes rasgos, se utiliza en primer lugar una clasificación de los casi 1500 "inevitable" configuraciones de la triangulación de un avión. Luego, utilizando los equipos, se muestra que cada una de estas de configuración "lleva" a un 4-coloración.
Appel y Haken publicado una aproximación algorítmica para este problema en K. Appel y W. Haken, Cada Plano Mapa es de Cuatro Engañosa, Sociedad Matemática Americana de 1989.
En 1997, otra prueba fue publicada, pero todavía utilizar el equipo en una manera similar. Esto fue debido a N. Robertson, D. Sanders, P. D. Seymour y R. Thomas.
Para responder a su pregunta de Cómo puede matemáticas probar tal cosa?, vemos que el equipo juega un papel fundamental en este particuliar problema. De hecho, la informática juega un papel fundamental en la investigación actual finitos de estructuras. Por ejemplo, la Clasificación de la Finitos Simples Grupos es otro ejemplo muy conocido. Los equipos eran necesarios en varias partes de la prueba, ya que aún están.
Ahora sí no reducir estos resultados para "interesante" simplemente porque los equipos son necesarios para probar. Al contrario, los esfuerzos necesarios para la concepción y la implementación de estos algoritmos es en sí mismo un muy destacable el trabajo.
En conclusión, las matemáticas pueden probar estas cosas a través de enfoques algorítmicos y listo implementaciones en los equipos.
Como observación final, tenga en cuenta también el siguiente resultado debido a Grötzsch, 1959:
Cada plano gráfico no contiene un triángulo es de 3 engañosa.
