Jean-Louis Krivine

En théorie des ensembles et logique, Jean-Louis Krivine s'est orienté, dans les années 1980, à l'interface entre la logique et l'informatique dans le cadre de la connexion entre preuves de la logique mathématique et programmes décrite par la correspondance de Curry-Howard, dont les implications ont été reconnues et reprises par une nouvelle génération de chercheurs. Krivine a développé un programme autour du concept de réalisabilité et l'a appliqué, dans les années 2000, également à la théorie axiomatique des ensembles, afin de dégager de nouveaux modèles de la théorie des ensembles de Zermelo-Fraenkel indépendants du concept de forcing.

Il s'est également intéressé aux espaces de Banach où il a apporté d'importantes contributions dans les années 1960 et 1970. Avec Dacunha-Castelle, il a introduit des ultraproduits dans la théorie des espaces de Banach et en 1977, il a donné la meilleure majoration pour la constante de Grothendieck dans le cas réel [2]. Avec Bernard Maurey, il a introduit le concept d'espace de Banach stable[3]. Le théorème de Krivine sur l'existence d'une représentation finie de ${\displaystyle L_{p}}$ dans un espace de Banach porte son nom [4].

Il a également contribué, dès 1964[5], à des concepts de géométrie algébrique réelle qui anticipaient les développements ultérieurs, qui ont été ignorés dans le développement de la théorie au début des années 1970 et ont été retrouvés indépendamment par d'autres mathématiciens (par exemple le théorème de Kadison et Dubois)[6]^,[7].

Une machine abstraite de réduction de termes en lambda-calcul est appelée la machine de Krivine.

Krivine a écrit plusieurs traités, sur le lambda-calcul, la théorie des modèles et la théorie axiomatique des ensembles, certains traduits en anglais et en allemand.

Parmi ses anciens élèves figurent Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff.

• Éléments de logique mathématique (théorie des modèles) (avec Georg Kreisel), Dunod, Paris, 1966 [lire en ligne] ; traduction anglaise : Elements of mathematical logic (model theory), North Holland, Amsterdam, 1967 [lire en ligne]
• 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 [lire en ligne], [Archives ouvertes]
• Théorie des ensembles, Cassini, Paris, 1998 ; 2^e édition, 2007
• Théorie des ensembles, Paris, Cassini, coll. « Nouvelle bibliothèque mathématique », 2007, 2^e éd. (1^re éd. 1998), 271 p. (ISBN 978-2-84225-096-6).