Андерс Мартин-Лёф - Anders Martin-Löf
Эта статья не цитировать любой источники.Сентябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
Андерс Мартин-Лёф (родился 16 марта 1940 г.) Шведский физик и математик. Он был профессор в страхование математика и математическая статистика с 1987 г. на математическом факультете Стокгольмский университет.
Мартин-Лёф учился на бакалавриате в Королевский технологический институт KTH в Стокгольм и сдал экзамен в инженерная физика в 1963 г. Он продолжил обучение в аспирантуре по оптимизации в KTH и Массачусетский технологический институт в Соединенные Штаты с 1967 по 1968 год, а затем работал научным сотрудником в Рокфеллеровский университет в Нью-Йорк 1970–1971, работая с теория вероятности и приложения к статистическая механика. Вернувшись в KTH в Стокгольме, он получил Кандидат наук. степень в 1973 году.
В течение следующих 10 лет он продолжал работать с аналогичными вопросами в качестве «доцента» в Упсала и Стокгольм. В 1980-х он перешел на страховую математику с Folksam компания, в том числе разработка теорий для управления движением страховок. С 1987 года он занимается теоретическими и прикладными аспектами своей должности профессора Стокгольмского университета.
У Мартина-Лёфа двое детей от первого брака и дочь от второго. Андерс - брат Пер Мартин-Лёф, который разработал новаторское определение случайность, а также фундамент конструктивной математики на основе интуиционистская теория типов. Пер также является профессором Стокгольмского университета с совместными назначениями на кафедрах математики и философии. Их объединяет интерес к статистике и статистической механике, хотя Пер был больше заинтересован в основах статистики, а Андерс больше интересовался финансовая математика. Их старший брат Йохан тоже инженер-физик, но больше склонен к космическая техника.
Мартин-Лёф был сокурсником в KTH с Олав Калленберг.