Jean-Louis Krivine

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant un mathématicien image illustrant une personnalité image illustrant français
Cet article est une ébauche concernant un mathématicien et une personnalité française.

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

Page d'aide sur l'homonymie Pour les articles homonymes, voir Krivine.
Jean-Louis Krivine
Defaut 2.svg
Biographie
Naissance
Nationalité
Formation
Activité

Jean-Louis Krivine (1939,-) est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure (rue d'Ulm)-(promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967), professeur des universités (professeur émérite à l'Université Paris Diderot), membre associé du laboratoire Preuves, Programmes et Systèmes.

Bibliographie (ouvrages)[modifier | modifier le code]

  • Éléments de logique mathématique (théorie des modèles) (avec Georg Kreisel), Dunod, Paris, 1966[1] ; traduction anglaise : Elements of mathematical logic (model theory), North Holland, Amsterdam, 1967[2].
  • Théorie axiomatique des ensembles, Presses universitaires de France, Paris, 1972.
  • Lambda-calcul, types et modèles. Masson, Paris, 1990 ; traduction anglaise : Lambda-calculus, types and models. Ellis Horwood, 1993[3].
  • Théorie des ensembles, Cassini, Paris, 1998 ; 2e édition, 2007.

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]