Per Martin-Löf

Image non encore disponible
Pays :Suède
Langue :suédois
Sexe :masculin
Note :
Écrit aussi en anglais
Logicien, philosophe et mathématicien. - Professeur de mathématiques et de philosophie à l'Université de Stockholm
Autre forme du nom :Per Martin- Löf
ISNI :ISNI 0000 0001 2030 6590

Ses activités

Auteur du texte2 documents

  • COLOG-88

    International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 Proceedings

    Description matérielle : 1 online resource
    Description : Note : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques
    Édition : Berlin, Heidelberg : Springer-Verlag : Springer e-books , 1990

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44691779c]
  • Intuitionistic type theory

    notes by Giovanni Sambin of a series of lectures given in Padua, June 1980

    Description matérielle : 91 p.
    Édition : Napoli : Bibliopolis , 1984

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35611932n]

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

Autre forme du nom

  • Per Martin- Löf

Biographie Wikipedia

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

Pages équivalentes