-
Fundamentación de la Geometría
-
Relaciones estadísticas
-
Fundamentos lógicos de las matemáticas
-
Teorema de Incompletitud Matemática
-
Fue la segunda máquina (después de la calculadora de los Laboratorios Bell Relay) para que coma flotante de hardware.
-
Demostración del último teorema de Fermat
-
Publica en internet la demostración de la conjetura de Poincaré (surgida en el campo de la topología algebraica).
