Мартин-Лёф, Пер

Пер Мартин-Лёф
Пер Мартин-Лёф
	швед. Per Martin-Löf
	; Пер Мартин-Лёф в 2004 году
Дата рождения	8 мая 1942 (82 года)
Место рождения	Якоб[вд], Стокгольм, Стокгольм, Швеция;
Страна	Швеция;
Род деятельности	орнитолог, философ, mathematical statistician, преподаватель университета
Научная сфера	логика, статистика, философия
Место работы	Стокгольмский университет;
Альма-матер	Стокгольмский университет;
Научный руководитель	Андрей Николаевич Колмогоров
Награды и премии	Медаль Колмогорова (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 с.