Per Martin-Löf

La première publication scientifique de Per Martin-Löf concernait les taux de mortalité des oiseaux bagués, une intersection précoce de ses intérêts de toujours pour les statistiques et l'ornithologie. Né à Stockholm en 1942, il a mené une carrière couvrant la logique mathématique, la philosophie et la théorie des probabilités, tout en restant un chercheur actif au sein du système universitaire suédois jusqu'à sa retraite en 2009.

Fondements de l'aléatoire

Au milieu des années 1960, Martin-Löf a poursuivi des études doctorales sous la supervision d'Andreï Kolmogorov à Moscou. En 1966, il a publié une approche définitive des séquences aléatoires en appliquant la théorie computationnelle pour définir des tests d'aléatoire. Ce travail a séparé l'aléatoire algorithmique de la probabilité statistique, établissant qu'une chaîne aléatoire est celle qui possède une complexité de Kolmogorov élevée, la rendant incompressible par des programmes informatiques plus courts que la séquence elle-même.

Théorie statistique et échantillons finis

Une grande partie de la recherche statistique de Martin-Löf s'est concentrée sur la fourniture de fondements rigoureux pour les échantillons finis, abordant les lacunes des justifications asymptotiques courantes dans les tests d'hypothèse du chi carré. En collaboration avec son frère Anders, il a influencé les développements des familles exponentielles et la méthode d'espérance-maximisation pour traiter les données manquantes. Son approche a mis l'accent sur les structures répétitives et les méthodes de théorie des catégories pour les modèles statistiques imbriqués.

Logique et philosophie

Depuis la fin des années 1970, son principal axe de recherche s'est déplacé vers la logique mathématique. Il a développé la théorie des types intuitionniste, fournissant un fondement constructif pour les mathématiques qui a eu un impact significatif sur l'informatique. Son travail philosophique, influencé par Frege, Brentano et Husserl, se concentre sur l'analyse du jugement et la philosophie de la conséquence logique. Il a occupé une chaire conjointe de mathématiques et de philosophie à l'université de Stockholm tout au long de sa carrière.

Reconnaissance académique

Martin-Löf a obtenu son doctorat à l'université de Stockholm en 1970. Ses contributions à la logique et à la philosophie ont été reconnues par le prix Rolf Schock 2020. Sa stature académique plus large est marquée par son appartenance à l'Académie royale des sciences de Suède et à l'Academia Europaea, ainsi que par des doctorats honorifiques de l'université de Leyde et de l'université de la Méditerranée - Aix-Marseille II, tous deux décernés en 2004.

Faits rapides

- Né : 1942, Stockholm, Suède - Doctorat : 1970, Université de Stockholm - Directeur de thèse : Andreï Kolmogorov - Prix clé : Prix Rolf Schock en logique et philosophie (2020) - Rôles professionnels : Logicien, philosophe, statisticien, ornithologue - Employeur principal : Université de Stockholm - Langues : Suédois, anglais - Appartenance scientifique : Académie royale des sciences de Suède

Questions posées par les lecteurs

### Qu'est-ce que la définition de l'aléatoire de Martin-Löf ?

Elle définit une séquence aléatoire comme celle qui réussit tous les tests calculables d'aléatoire, garantissant que la séquence ne peut être compressée par aucun algorithme.

### Martin-Löf a-t-il travaillé exclusivement en mathématiques ?

Non, sa vie professionnelle comprenait un travail important en philosophie et un intérêt continu et non professionnel pour l'ornithologie et l'observation des oiseaux.

### Quelle est sa contribution à l'informatique ?

Son développement de la théorie des types intuitionniste fournit un cadre constructif pour les mathématiques qui sert de base à diverses applications en informatique.