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

Пер Мартин-Лёф
Пер Мартин-Лёф
	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 с.