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

Пер Мартин-Лёф
швед. Per Martin-Löf
Пер Мартин-Лёф в 2004 году
Пер Мартин-Лёф в 2004 году
Дата рождения 8 мая 1942(1942-05-08) (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

Примечания

[править | править код]
  1. ↑ Н. Н. Непейвода. Алгоритм // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
  2. ↑ Н. Н. Непейвода. Конструктивное направление // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
  3. ↑ Алгоритмическая теория информации — статья из Математической энциклопедии. Я. М. Бардзинь
  4. ↑ Н. Н. Непейвода. Логицизм // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.