Patrick Foley ya ha mencionado algunas de las principales contribuciones de Kolmogorov a las matemáticas. Su idea de que la teoría de la probabilidad puede (¡y debería!) Basarse en la teoría de la medida es ciertamente suficiente para hacerlo sobresaliente.
Pero hizo mucho más que eso. También hay que mencionar
- Su trabajo en lógica intuicionista y teoría de la computabilidad. La explicación teórica de la lógica intuicionista ahora conocida como la interpretación de Brouwer-Heyting-Kolmogorov es lo que finalmente sentó las bases de la teoría del tipo intuicionista (junto con el trabajo de Church, Curry y Turing (!!)). Vea el artículo biográfico de Uspensky (se puede encontrar en http://lpcs.math.msu.su/~uspensk…) para obtener más información sobre las contribuciones de Kolmogorov a la lógica.
- Su trabajo sobre lo que ahora llamamos complejidad de Kolmogorov (o Kolmogorov-Chaitin), que es la teoría de la definibilidad algorítmica de objetos finitos.
Vea la biografía de Kolmogorov en http: //www-groups.dcs.st-and.ac…. para más sobre su vida y obra.