Per martin-löf
- Per martin-löf
-
Per Martin-Löf
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. Per Martin-Löf occupe la chaire de mathématiques et philosophie de l'université de Stockholm.
Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !
Portail de la philosophie
Portail de la logique
Catégories : Mathématicien | Philosophe suédois | Logicien | Naissance en 1942 | Théorie des types
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Per martin-löf de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Per Martin-Löf — in 2004 Born May 8, 1942 (194 … Wikipedia
Per Martin-Löf — 2004 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… … Deutsch Wikipedia
Per Martin-Lof — Per Martin Löf Per Martin Löf 2004 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… … Wikipédia en Français
Per Martin Löf — 2004 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 de … Wikipédia en Français
Per Martin-Löf — 2004 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… … Wikipédia en Français
Anders Martin-Löf — born 1940, is a Swedish physicist and mathematician. He is a professor in insurance mathematics and mathematical statistics since 1987 at the Department of Mathematics of Stockholm University.Martin Löf did his undergraduate studies at the Royal … Wikipedia
Martin (Name) — Martin ist ein männlicher Vorname und Familienname. Die weibliche Form des Namens lautet Martina. Der Nachname Martin ist in vielen Ländern verbreitet. In Frankreich zum Beispiel ist er der häufigste Familienname und auch im englischsprachigen… … Deutsch Wikipedia
Joseph Martin Kraus — Pour les articles homonymes, voir Kraus. Joseph Martin Kraus … Wikipédia en Français
Suite aléatoire — Cette suite est elle aléatoire ? En mathématiques, une suite aléatoire, ou suite infinie aléatoire, est une suite de nombres ne possédant aucune structure, régularité, ou règle de prédiction identifiable. Une telle suite correspond à la… … Wikipédia en Français
Algorithmically random sequence — Intuitively, an algorithmically random sequence (or random sequence) is an infinite sequence of binary digits that appears random to any algorithm. The definition applies equally well to sequences on any finite set of characters. Random sequences … Wikipedia
Per Martin-Löf 2004
