WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Пер Мартин-Лёф
Per Martin-Löf

Пер Мартин-Лёф в 2004 году
Дата рождения 8 мая 1942(1942-05-08) (76 лет)
Страна
Научная сфера логика, статистика, философия
Место работы
Альма-матер
Научный руководитель Андрей Николаевич Колмогоров
Награды и премии Медаль Колмогорова (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
  • 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

Примечания

  1. ↑ Алгоритм / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
  2. ↑ Конструктивное направление / Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
  3. ↑ Алгоритмическая теория информации / Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
  4. ↑ Логицизм / Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии