Per Martin-Lof

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 à 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.



  • Portail de la philosophie Portail de la philosophie
  • Portail de la logique Portail de la logique
Ce document provient de « Per Martin-L%C3%B6f ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Per Martin-Lof 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 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 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”