|
|
Мартин-Лёф Пер.
›
Пер Мартин-Лёф | Per Martin-Löf | Пер Мартин-Лёф в 2004 году | Дата рождения: | 8 мая 1942(1942-05-08) (73 года) |
---|
Страна: | Швеция |
---|
Научная сфера: | логика, статистика, философия |
---|
Награды и премии | Медаль Колмогорова (2005)
|
---|
Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) - шведский логик, статистик и философ. Член Шведской королевской академии наук. Содержание- Биография
- Основные труды
- Примечания
БиографияВ 1964-1965 гг. учился в МГУ у А. Н. Колмогорова. В 1970 г. защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета. Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики, алгоритмической теории информации и теории конструкций. Основные труды- The continuity theorem on a locally compact group, 1965
- Probability theory on discrete semigroups, 1965
- The Definition of Random Sequences, 1966
- Statistics from the point of view of statistical mechanics, 1966
- Statistika Modeller (Statistical Models): Anteckningar fran seminarier läsåret 1969-1970, 1970
- Exact tests, confidence regions and estimates, 1974
- Constructive mathematics and computer programming, 1982
- Intuitionistic type theory, 1984
- On the Meanings of the Logical Constants and the Justifications of the Logical Laws, 1996
Доп. информацияЧастично использовались материалы сайта http://ru.wikipedia.org/wiki/
|
|
|
|