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

|Изображение = Per MartinLoef.jpg |Ширина = |Описание изображения = Пер Мартин-Лёф в 2004 году |Дата рождения = 8.05.1942 |Место рождения = |Дата смерти = |Место смерти = |Гражданство = |Научная сфера = логика, статистика, философия |Место работы = |Учёная степень = |Учёное звание = |Альма-матер = |Научный руководитель = |Знаменитые ученики = |Известен как = |Награды и премии = Медаль Колмогорова (2005) |Роспись = |Ширина росписи = |Сайт = |Викитека = }} Пер Мартин-Лёф (; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук.

В 1964—1965 годах учился в МГУ у Андрея Колмогорова. В 1970 году защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета.

Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики, алгоритмической теории информации и теории конструкций. Создатель интуиционистской теории типов, ставшей основой для ряда систем для оснований математики (в том числе, унивалентных оснований) и базой для большинства современных систем автоматического доказательства. Предоставлено Wikipedia