Martin-Löf, por
| Por Martin-Löf | |
|---|---|
| Por Martín-Lof | |
| Según Martin-Löf en 2004 | |
| Fecha de nacimiento | 8 de mayo de 1942 (80 años) |
| Lugar de nacimiento | |
| País | |
| Esfera científica | lógica , estadística , filosofía |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Andrei Nikoláyevich Kolmogorov |
| Premios y premios | Medalla Kolmogorov (2005) |
Per Martin-Löf ( sueco. Per Martin-Löf ; nacido el 8 de mayo de 1942 ) es un lógico , estadístico y filósofo sueco . Miembro de la Real Academia Sueca de Ciencias .
En 1964-1965 estudió en la Universidad Estatal de Moscú con Andrey Kolmogorov . En 1970 defendió su disertación en la Universidad de Estocolmo , y más tarde se dedicó a actividades científicas y docentes. Actualmente Profesor de Filosofía de las Matemáticas en la Universidad de Estocolmo.
Son ampliamente conocidos sus trabajos en el campo de la estadística y la teoría algorítmica de la probabilidad [1] , los fundamentos de las matemáticas y la lógica [2] , la teoría algorítmica de la información [3] y la teoría de la construcción [4] . Creador de la teoría de tipo intuicionista , que se convirtió en la base de una serie de sistemas para los fundamentos de las matemáticas (incluidos los fundamentos univalentes ) y la base de la mayoría de los sistemas de prueba automática modernos .
Grandes obras
- El teorema de continuidad en un grupo localmente compacto, 1965
- Teoría de la probabilidad en semigrupos discretos, 1965
- La definición de secuencias aleatorias, 1966
- Estadística desde el punto de vista de la mecánica estadística, 1966
- Modelador estadístico: Anteckningar fran seminarier läsåret 1969-1970 , 1970
- Pruebas exactas, regiones de confianza y estimaciones, 1974
- Matemáticas constructivas y programación informática, 1982
- Teoría del tipo intuicionista, 1984
- Sobre los significados de las constantes lógicas y las justificaciones de las leyes lógicas, 1996
Notas
- ↑ N. N. Nepeyvoda. Algoritmo // Nueva Enciclopedia Filosófica : en 4 volúmenes / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
- ↑ N. N. Nepeyvoda . Dirección constructiva // Nueva enciclopedia filosófica : en 4 volúmenes / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
- ↑ Teoría de la información algorítmica: artículo de la Enciclopedia de las matemáticas . Ya. M. Bardzin
- ↑ N. N. Nepeyvoda. Logicismo // Nueva Enciclopedia Filosófica : en 4 volúmenes / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||