| Пер Мартин-Лёф | |
|---|---|
| швед. Per Martin-Löf | |
 Пер Мартин-Лёф в 2004 году | |
| Дата рождения | 8 мая 1942 (81 год) |
| Место рождения | |
| Страна | |
| Научная сфера | логика, статистика, философия |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Андрей Николаевич Колмогоров |
| Награды и премии | Медаль Колмогорова (2005) |
Пер Мартин-Лёф (швед. 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
- Statistiska Modeller: 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 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- ↑ Н. Н. Непейвода. Конструктивное направление // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- ↑ Алгоритмическая теория информации — статья из Математической энциклопедии. Я. М. Бардзинь
- ↑ Н. Н. Непейвода. Логицизм // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
 | ||||
|---|---|---|---|---|
| Словари и энциклопедии | ||||
Эта страница в последний раз была отредактирована 20 июня 2023 в 18:38.
Обычно почти сразу, изредка в течении часа.