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

Пер Мартин-Лёф
швед. Per Martin-Löf
Пер Мартин-Лёф в 2004 году
Дата рождения	8 мая 1942(1942-05-08) (83 года)
Место рождения	Якоб[вд], Стокгольм, Стокгольм, Швеция
Страна	Швеция
Род деятельности	орнитолог, философ, mathematical statistician, преподаватель университета
Научная сфера	логика, статистика, философия
Место работы	Стокгольмский университет
Альма-матер	Стокгольмский университет
Научный руководитель	Андрей Николаевич Колмогоров
Награды и премии	Медаль Колмогорова (2005)
Медиафайлы на Викискладе

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

• 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

У этой статьи по логике есть несколько проблем, помогите их исправить: слишком короткая. Пожалуйста, дополните её ещё хотя бы несколькими предложениями и уберите это сообщение. Если статья останется недописанной, она может быть выставлена к удалению. Для указания на продолжающуюся работу над статьёй используйте шаблон {{subst:Редактирую }}. Администраторам и подводящим итоги: эта пометка оставлена 2011-08-22. Просьба очень короткие заготовки статей ранее чем через два дня после создания не удалять. (22 августа 2011) В этой биографической статье не указано место рождения. Вы можете помочь проекту, добавив место рождения в текст статьи. (22 августа 2011) Пожалуйста, после исправления проблемы исключите её из списка параметров. После устранения всех недостатков этот шаблон может быть удалён любым участником.