| 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 Erik Rutger Martin-Löf（[lɒf]; スウェーデン語: [ ˈmǎʈːɪn ˈløːv ]; ）, 1942年5月8日 - ）は、スウェーデンの論理学者・哲学者・数理統計学者。確率、統計学、数理論理学、および計算機科学の基礎に関する研究で世界的に知られる。1970年代後半以降は、マルティン=レーフの出版物は論理学に属するものが主なものとなった。 (ja)
- 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 (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 lidado 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，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)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)