Per Martin-Löf

Cet article est une ébauche concernant un philosophe.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Pour les articles homonymes, voir Martin et Löf (homonymie).

Per Martin-Löf

Per Martin-Löf 2004

Biographie
Naissance	8 mai 1942 (82 ans) Jakob parish (d)
Nationalité	suédoise
Formation	Université de Stockholm
Activités	Ornithologue, mathématicien statisticien, philosophe, professeur d'université
Fratrie	Anders Martin-Löf

Autres informations
A travaillé pour	Université de Stockholm
Membre de	Academia Europaea (1989) Académie royale des sciences de Suède
Directeur de thèse	Andreï Kolmogorov
Distinctions	Docteur honoris causa de l'université de Leyde (2004) Gödel Lecturer (2006) Prix Schock de logique et philosophie (2020)

modifier - modifier le code - modifier Wikidata

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.

Biographie

Per Martin-Löf est un ornithologue amateur enthousiaste. Sa première publication scientifique en 1961 portait sur les taux de mortalité des oiseaux bagués.

Martin-Löf a écrit une thèse de licence sur la probabilité des structures algébriques, en particulier des demi-groupes, un programme de recherche dirigé par Ulf Grenander de l'université de Stockholm.

Jusqu'à sa retraite en 2009, Per Martin-Löf occupait la chaire de mathématiques et philosophie de l'université de Stockholm.

Distinction reçues

En 2005, Per Martin-Löf reçoit la Médaille Kolmogorov pour son travail sur l'axiome du choix^[1].
En 2006 il est Gödel Lecturer avec une conférence intitulée The two layers of logic.

Références

↑ (en) http://www.kolmogorov.clrc.rhul.ac.uk/pastwinners.html.

Liens externes

Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices dans des dictionnaires ou encyclopédies généralistes :
- Britannica
- Nationalencyklopedin
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie
- WorldCat

v · m Lauréats du prix Schock
Logique et philosophie	Willard Van Orman Quine (1993) Michael Dummett (1995) Dana Scott (1997) John Rawls (1999) Saul Kripke (2001) Solomon Feferman (2003) Jaakko Hintikka (2005) Thomas Nagel (2008) Hilary Putnam (2011) Derek Parfit (2014) Ruth Millikan (2017) Saharon Shelah (2018) Dag Prawitz et Per Martin-Löf (2020) David Kaplan (2022)
Mathématiques	Elias M. Stein (1993) Andrew Wiles (1995) Mikio Satō (1997) Yuri I. Manin (1999) Elliott H. Lieb (2001) Richard P. Stanley (2003) Luis Caffarelli (2005) Endre Szemerédi (2008) Michael Aschbacher (2011) Yitang Zhang (2014) Richard Schoen (2017) Ronald Coifman (2018) Nikolai Georgievich Makarov (2020) Jonathan Pila (2022)
Arts visuels	Rafael Moneo (1993) Claes Oldenburg (1995) Torsten Andersson (1997) Herzog & de Meuron (1999) Giuseppe Penone (2001) Susan Rothenberg (2003) SANAA / Kazuyo Sejima + Ryūe Nishizawa (2005) Mona Hatoum (2008) Marlene Dumas (2011) Anne Lacaton / Jean-Philippe Vassal (2014) Doris Salcedo (2017) Andrea Branzi (2018) Francis Alÿs (2020) Rem Koolhaas (2022)
Arts musicaux	Ingvar Lidholm (1993) György Ligeti (1995) Jorma Panula (1997) Kronos Quartet (1999) Kaija Saariaho (2001) Anne Sofie von Otter (2003) Mauricio Kagel (2005) Gidon Kremer (2008) Andrew Manze (2011) Herbert Blomstedt (2014) Wayne Shorter (2017) Barbara Hannigan (2018) György Kurtág (2020) Víkingur Ólafsson (2022)