An Entity of Type: agent, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Per Erik Rutger Martin-Löf (/lɒf/; Swedish: [ˈmǎʈːɪn ˈløːv]; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science.

Property Value
dbo:abstract
  • بير إريك روتغر مارتن لوف (من موالين 8 مايو 1942)، هو منطقي سويدي وفيلسوف وإحصائي رياضي، وهو مشهور دوليًا بعمله في أسس الاحتمالات والإحصاء والمنطق الرياضي وعلوم الحاسوب. منذ أواخر السبعينيات، كانت منشورات مارتن لوف مركزة حول المنطق. في المنطق الفلسفي، تعامل مارتن لوف مع فلسفة الاستتباع المنطقي والحكم مستلهمًا بأعمال برنتانو وفريجه وهوسرل. في المنطق الرياضي، كان مارتن لوف نشطًا في تطوير نظرية النمط الحدسي كأساس بناء للرياضيات. أثر عمل مارتن لوف على نظرية النمط في علوم الحاسوب. حتى تقاعده في عام 2009، شغل بير مارتن لوف كرسيًا مشتركًا للرياضيات والفلسفة في جامعة ستوكهولم. شقيقه أندرس مارتن لوف هو الآن أستاذ فخري للإحصاء الرياضي في جامعة ستوكهولم. تعاون الأخوان في البحث في الاحتمالات والإحصاء. أثر بحث أندريه وبير مارتن لوف على النظرية الإحصائية، خاصةً فيما يتعلق بالعوائل الأسية وطريقة تحقيق أقصى قدر لتوقع البيانات المفقودة واختيار النموذج. يراقب بير مارتن لوف الطيور بحماسة، وأول منشور علمي له كان حول معدلات وفيات الطيور المُطوَّقة. (ar)
  • Per Erik Rutger Martin-Löf (* 8. Mai 1942) ist ein schwedischer mathematischer Logiker und Philosoph. Martin-Löf war 1964–1965 an der Lomonossow-Universität Student von Andrei Kolmogorow, der auch seine Dissertation an der Universität Stockholm 1970 betreute (Notes on constructive mathematics). Zuvor war er 1968/69 schon Assistant Professor an der University of Chicago bei William Alvin Howard, dessen Curry-Howard-Isomorphismus später eine der Grundlagen von Martin-Löfs Typentheorie war. Martin-Löf ist Professor für Mathematik und Philosophie an der Universität Stockholm. In seiner Zeit in Moskau verfeinerte er auch den Begriff der Zufallsfolge. 1971 führte er seine intuitionistische Typentheorie ein (auch Martin-Löf-Typentheorie oder konstruktive Typentheorie genannt), die er aber mehrfach umformte, da die ersten Ansätze, die das „System F“ von Jean-Yves Girard verallgemeinerten, inkonsistent waren, aufgrund eines von Girard entdeckten Paradoxons. Eine Reihe von computergestützten Beweissystemen wie NuPRL, LEGO, Coq, ALF, Agda, Twelf und Epigram beruht auf Löfs Typentheorie. Später wandte er sich zunehmend philosophischen Fragen der Logik zu. Martin-Löf befasste sich auch mit Statistik, zum Beispiel mit der Suffizienz, der Exponentialfamilie, dem EM-Algorithmus, dem Problem fehlender Daten in der Statistik, Statistischen Modellen, Wahrscheinlichkeit auf Halbgruppen. Zu seinen Schülern gehört der Statistiker . Martin-Löf ist Mitglied der Königlich Schwedischen Akademie der Wissenschaften und der Academia Europaea. 2006 war er Gödel-Lecturer (The two layers of logic), 2012 hielt er die Tarski Lectures. 2020 erhielt er gemeinsam mit Dag Prawitz den Rolf-Schock-Preis für Philosophie. Er ist der Bruder des Statistikers und Physikers (* 1940), Professor für Versicherungsmathematik in Stockholm. Martin-Löf ist passionierter Ornithologe und veröffentlichte 1961 eine Arbeit, aus den Funden beringter Vögel auf deren Sterblichkeitsrate zu schließen. (de)
  • Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. Il est connu pour avoir développé la théorie des types intuitionnistes comme base constructive des mathématiques. Il est également à l'origine d'une des définitions toujours en vigueur d'une suite aléatoire. (fr)
  • ペール・マルティン=レーフ (Per Martin-Löf, 1942年5月8日 - ) はスウェーデンの論理学者、哲学者、数学者。の創案者として知られる。2009年までストックホルム大学数学部および哲学部教授を務めた。 (ja)
  • Per Erik Rutger Martin-Löf (/lɒf/; Swedish: [ˈmǎʈːɪn ˈløːv]; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Until his retirement in 2009, Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University. His brother Anders Martin-Löf is now emeritus professor of mathematical statistics at Stockholm University; the two brothers have collaborated in research in probability and statistics. The research of Anders and Per Martin-Löf has influenced statistical theory, especially concerning exponential families, the expectation-maximization method for missing data, and model selection. Per Martin-Löf is an enthusiastic bird-watcher; his first scientific publication was on the mortality rates of ringed birds. (en)
  • Per Erik Rutger Martin-Löf (8 de maio de 1942) é um lógico, filósofo e sueco. É internacionalmente reconhecido por seu trabalho sobre os fundamentos da probabilidade, estatística, lógica matemática e ciência da computação. Desde a década de 1970 as publicações de Martin-Löf são principalmente sobre lógica. Na lógica filosófica, Martin-Löf tem lidade com a filosofia da consequência lógica e julgamento, parcialmente inspirado no trabalho de Franz Brentano, Gottlob Frege e Edmund Husserl. Na lógica matemática, Martin-Löf atua ativamente no desenvolvimento da como fundamento construtivo da matemática. O trabalho de Martin-Löf sobre teoria do tipo influencia a ciência da computação. (pt)
  • Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук. В 1964—1965 годы учился в МГУ у Андрея Колмогорова. В 1970 году защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета. Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики, алгоритмической теории информации и теории конструкций. Создатель интуиционистской теории типов, ставшей основой для ряда систем для оснований математики (в том числе, унивалентных оснований) и базой для большинства современных систем автоматического доказательства. Основные труды: * 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 (ru)
  • Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori. Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien. (sv)
  • 佩尔·埃里克·罗格·马丁-洛夫(瑞典語:Per Erik Rutger Martin-Löf,1942年5月8日-),瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后,他的工作主要集中在逻辑学方面。在哲学逻辑方面,他的研究专注于蕴涵及判断学说,并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响;在数理逻辑方面,他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前,他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。 他的长兄安德斯·马丁-洛夫(瑞典語:Anders Martin-Löf)是斯德哥尔摩大学的数理统计学荣誉教授;两人曾在概率论和数理统计的研究上展开合作,其研究成果包括指数族非线性模型、最大期望算法和模型选择等,广泛地影响了统计学理论的发展。 佩尔·马丁-洛夫还是一个业余的鸟类观测家,他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 (zh)
dbo:academicDiscipline
dbo:almaMater
dbo:award
dbo:birthDate
  • 1942-05-08 (xsd:date)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:knownFor
dbo:nationality
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1925764 (xsd:integer)
dbo:wikiPageLength
  • 26552 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1011595469 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1942-05-08 (xsd:date)
dbp:birthPlace
  • Stockholm, Sweden (en)
dbp:caption
  • Per Martin-Löf in 2004 (en)
dbp:citizenship
  • Sweden (en)
dbp:doctoralAdvisor
dbp:field
dbp:knownFor
  • Expectation maximization method (en)
  • Martin-Löf type theory (en)
  • Sufficient statistics (en)
  • Exact tests (en)
  • Random sequences (en)
  • Repetitive structure (en)
dbp:name
  • Per Martin-Löf (en)
dbp:nationality
  • Swedish (en)
dbp:prizes
dbp:wikiPageUsesTemplate
dbp:workInstitution
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942. Il est connu pour avoir développé la théorie des types intuitionnistes comme base constructive des mathématiques. Il est également à l'origine d'une des définitions toujours en vigueur d'une suite aléatoire. (fr)
  • ペール・マルティン=レーフ (Per Martin-Löf, 1942年5月8日 - ) はスウェーデンの論理学者、哲学者、数学者。の創案者として知られる。2009年までストックホルム大学数学部および哲学部教授を務めた。 (ja)
  • Per Erik Rutger Martin-Löf (8 de maio de 1942) é um lógico, filósofo e sueco. É internacionalmente reconhecido por seu trabalho sobre os fundamentos da probabilidade, estatística, lógica matemática e ciência da computação. Desde a década de 1970 as publicações de Martin-Löf são principalmente sobre lógica. Na lógica filosófica, Martin-Löf tem lidade com a filosofia da consequência lógica e julgamento, parcialmente inspirado no trabalho de Franz Brentano, Gottlob Frege e Edmund Husserl. Na lógica matemática, Martin-Löf atua ativamente no desenvolvimento da como fundamento construtivo da matemática. O trabalho de Martin-Löf sobre teoria do tipo influencia a ciência da computação. (pt)
  • Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet. Han har ett stort internationellt anseende inom konstruktivismens område, främst genom sin konstruktiva typteori. Martin-Löf är sedan 1990 ledamot av Kungliga Vetenskapsakademien. (sv)
  • 佩尔·埃里克·罗格·马丁-洛夫(瑞典語:Per Erik Rutger Martin-Löf,1942年5月8日-),瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后,他的工作主要集中在逻辑学方面。在哲学逻辑方面,他的研究专注于蕴涵及判断学说,并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响;在数理逻辑方面,他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前,他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。 他的长兄安德斯·马丁-洛夫(瑞典語:Anders Martin-Löf)是斯德哥尔摩大学的数理统计学荣誉教授;两人曾在概率论和数理统计的研究上展开合作,其研究成果包括指数族非线性模型、最大期望算法和模型选择等,广泛地影响了统计学理论的发展。 佩尔·马丁-洛夫还是一个业余的鸟类观测家,他发表的第一篇科学论文即是关于鸟类迁徙活动中存活率的统计学研究。 (zh)
  • بير إريك روتغر مارتن لوف (من موالين 8 مايو 1942)، هو منطقي سويدي وفيلسوف وإحصائي رياضي، وهو مشهور دوليًا بعمله في أسس الاحتمالات والإحصاء والمنطق الرياضي وعلوم الحاسوب. منذ أواخر السبعينيات، كانت منشورات مارتن لوف مركزة حول المنطق. في المنطق الفلسفي، تعامل مارتن لوف مع فلسفة الاستتباع المنطقي والحكم مستلهمًا بأعمال برنتانو وفريجه وهوسرل. في المنطق الرياضي، كان مارتن لوف نشطًا في تطوير نظرية النمط الحدسي كأساس بناء للرياضيات. أثر عمل مارتن لوف على نظرية النمط في علوم الحاسوب. حتى تقاعده في عام 2009، شغل بير مارتن لوف كرسيًا مشتركًا للرياضيات والفلسفة في جامعة ستوكهولم. (ar)
  • Per Erik Rutger Martin-Löf (* 8. Mai 1942) ist ein schwedischer mathematischer Logiker und Philosoph. Martin-Löf war 1964–1965 an der Lomonossow-Universität Student von Andrei Kolmogorow, der auch seine Dissertation an der Universität Stockholm 1970 betreute (Notes on constructive mathematics). Zuvor war er 1968/69 schon Assistant Professor an der University of Chicago bei William Alvin Howard, dessen Curry-Howard-Isomorphismus später eine der Grundlagen von Martin-Löfs Typentheorie war. Martin-Löf ist Professor für Mathematik und Philosophie an der Universität Stockholm. (de)
  • Per Erik Rutger Martin-Löf (/lɒf/; Swedish: [ˈmǎʈːɪn ˈløːv]; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. (en)
  • Пер Мартин-Лёф (швед. Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ. Член Шведской королевской академии наук. В 1964—1965 годы учился в МГУ у Андрея Колмогорова. В 1970 году защитил диссертацию в Стокгольмском университете, в дальнейшем занимался научной и преподавательской деятельностью. В настоящее время профессор философии математики Стокгольмского университета. Основные труды: (ru)
rdfs:label
  • بير مارتن لوف (ar)
  • Per Martin-Löf (de)
  • Per Martin-Löf (en)
  • Per Martin-Löf (fr)
  • ペール・マルティン=レーフ (ja)
  • Per Martin-Löf (pt)
  • Мартин-Лёф, Пер (ru)
  • Per Martin-Löf (sv)
  • 佩尔·马丁-洛夫 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Per Martin-Löf (en)
is dbo:doctoralStudent of
is dbo:notableStudent of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableStudents of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License