La Conjetura de Kepler (1611) - Teorema de Hales (anuncio 1998 - publicación 2005/2006)
"No hay una forma más eficaz de apilar naranjas que la que utilizan los fruteros de todo el mundo.
Empaquetando como los fruteros, las naranjas ocupan aproximadamente el 74% del espacio"
Thomas C. Hales trabajaba en la Universidad de Michigan cuando anunció la demostración de la Conjetura de Kepler. Actualmente es Profesor en la Universidad de Pittsburgh.
El último Teorema de Fermat (UTF, 1637) - Teorema de Wiles (1995)
"Sea n≥3 un entero. No existen enteros no nulos x, y, z tales que xn+yn=zn"
Andrews Wiles (Cambridge, 1953) es Profesor de la Universidad de Princeton (en 2011 se incorporará a Oxford). Éste es el momento en que anunció su demostración, en Cambridge, el 23 de junio de 1993.
El Teorema de Imposibilidad de Arrow (1950)
"No existe ningún método "razonable" para decidir cuál de entre 3 o más opciones prefiere un grupo de personas. El único método para deducir la preferencia del grupo a partir de las preferencias de los individuos que satisface (tres) condiciones naturales es que una persona decida por todos. Pero este sistema es "dictatorial" y, por tanto, no razonable"
Kenneth J. Arrow (Nueva York, 1921) es Profesor Emérito de Economía, Estadística e Investigación Operativa en la Universidad de Stanford. En 1972 recibió el Premio Nobel de Economía, compartido con John R. Hicks, por sus contribuciones a las teorías del equilibrio económico y del bienestar social, entre ellas este Teorema de Inexistencia.
El Teorema de Incompletitud de Gödel (1931)
"En todo sistema formal hay resultados verdaderos que no se pueden demostrar dentro del sistema"
Kurt Gödel nació en Brünn, Austria-Hungría (ahora Brno, República Checa) en 1906 y falleció en Princeton, U.S.A, en 1978. Era Profesor en la Universidad de Viena, pero una combinación de mala salud, haber sido tomado por judío (tras la ocupación de Austria por los Nazis) y el temor de ser reclutado por el ejercito alemán, le hicieron marchar a Estados Unidos. Allí fue miembro del Instituto de Estudios Avanzados de Princeton (1940-1953) e hizo gran amistad con Einstein, y luego Profesor de la Universidad de Princeton, donde su contrato especificaba que no tenía obligación de dar clase.