Las matemáticas discretas han visto un gran número de problemas difíciles de
resolver. En teoría de grafos, mucha de la investigación realizada en sus inicios
fue motivada por intentos para probar el teorema de los cuatro colores, el cual fue
probado más...
More
Las matemáticas discretas han visto un gran número de problemas difíciles de
resolver. En teoría de grafos, mucha de la investigación realizada en sus inicios
fue motivada por intentos para probar el teorema de los cuatro colores, el cual fue
probado más de cien años después de su inicial descripción. El problema de los
puentes de Königsberg, un problema clásico del prolífico Leonhard Euler.
En lógica, el segundo problema de la lista de problemas abiertos de David Hilbert,
era probar que los axiomas de la aritmética son consistentes. El segundo teorema de
Gödel de la incompletitud probó en 1931 que esto no es posible, por lo menos dentro
de la aritmética en sí. El décimo problema de Hilbert era determinar si un
polinomio diofántico con coeficientes enteros dado tiene una solución entera. En
1970, Yuri Matiyasevich probó que esto es imposible de hacer.
La necesidad de descifrar códigos alemanes en la Segunda Guerra Mundial dio paso a
avances en la criptografía y la ciencia c
Less
