- Мартин-Лёф, Пер
-
Пер Мартин-Лёф Per Martin-Löf
Пер Мартин-Лёф в 2004 годуДата рождения: Научная сфера: Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук.
Биография
В 1964—1965 гг. учился в МГУ у А. Н. Колмогорова. В 1970 г. защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета.
Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей[1], основаниям математики и логики[2], алгоритмической теории информации[3] и теории конструкций[4].
Основные труды
- 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
Примечания
- ↑ Алгоритм / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
- ↑ Конструктивное направление / Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
- ↑ Алгоритмическая теория информации / Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
- ↑ Логицизм / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
Для улучшения этой статьи по логике желательно?: - Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
- Добавить место рождения персоны.
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 8 мая
- Родившиеся в 1942 году
- Логики Швеции
- Статистики Швеции
- Статистики XX века
- Статистики XXI века
- Философы Швеции
- Логики XX века
- Логики XXI века
- Члены Шведской королевской академии наук
Wikimedia Foundation. 2010.