Jean-Louis Krivine

Jean-Louis Krivine
Name	Jean-Louis Krivine
Birth date	1939
Birth place	Paris, France
Fields	Mathematics, Mathematical Logic, Set Theory, Proof Theory
Workplaces	Université Paris Nord, CNRS, Institut Henri Poincaré
Alma mater	École Normale Supérieure, Université Paris XI
Doctoral advisor	Jean-Louis Verdier

Jean-Louis Krivine is a French mathematician noted for contributions to proof theory, realizability, and the foundations of mathematics. He has held positions in French academic institutions and contributed to both theoretical developments and pedagogical initiatives. Krivine is recognized for work linking logic, computation, and constructive methods, and for mentoring generations of researchers in France and internationally.

Early life and education

Krivine was born in Paris and educated at the École Normale Supérieure and Université Paris-Sud, where he studied under mathematicians connected to Jean-Louis Verdier and the postwar French school of Bourbaki. His formative years overlapped with figures from André Weil, Henri Cartan, and contemporaries including Jean-Pierre Serre, Alexander Grothendieck, and René Thom. During this period he engaged with seminars at the Institut Henri Poincaré and attended lectures by scholars such as Jean-Pierre Benzécri and Laurent Schwartz.

Academic career and positions

Krivine's career includes positions at the CNRS, the Université Paris Nord, and affiliations with the Collège de France and the IHÉS through collaborations. He participated in research networks alongside members of the Société Mathématique de France, the European Mathematical Society, and interacted with logicians at the Université de Strasbourg and the Université Paris Diderot. Krivine attended international conferences such as the International Congress of Mathematicians and workshops at institutions like Princeton University and University of California, Berkeley.

Research contributions and theories

Krivine developed influential work on realizability interpretations related to the legacy of Kurt Gödel's Dialectica interpretation, building on methods from Alonzo Church's lambda calculus and connections to Alan Turing's computability theory. He proposed realizability models that interact with classical logic, drawing on ideas from Per Martin-Löf and Gerhard Gentzen's proof-theoretic systems. Krivine introduced techniques in classical realizability that relate to the Curry–Howard correspondence, continuation-passing style from John C. Reynolds, and models akin to those studied by Dana Scott and Henk Barendregt. His work links to notions in set theory advanced by Paul Cohen and combinatorial principles explored by Stewart Glass and Saharon Shelah. Krivine's theories influenced research on computational content of proofs pursued by scholars at CNRS, Université Paris 13 and in research groups led by Jean-Yves Girard and Thierry Coquand.

Teaching and mentorship

As a professor, Krivine supervised doctoral students and taught courses that drew students from École Normale Supérieure, Université Paris Nord, and international visitors from Princeton University, University of Cambridge, and Massachusetts Institute of Technology. His mentorship connected to networks including the Société Mathématique de France and summer schools such as those organized by the Mathematical Sciences Research Institute and Centre de Recerca Matemàtica. Colleagues and students include researchers who later joined faculties at Université Paris-Saclay, École Polytechnique, and research groups within the European Research Council framework.

Awards and honors

Krivine received recognition from French scientific institutions including distinctions associated with the CNRS and invitations to lecture at the Institut Henri Poincaré and the Collège de France. He has been invited to major conferences such as the International Congress of Mathematicians and awarded national honors often conferred upon senior researchers in France for contributions to mathematics and logical foundations.

Selected publications and works

- Monographs and articles on classical realizability and proof theory published in journals associated with the Société Mathématique de France and international periodicals. - Papers connecting realizability to the lambda calculus and continuations, engaging with literature by Henk Barendregt, Jean-Yves Girard, and Alonzo Church. - Expository lectures and notes delivered at venues including the Institut Henri Poincaré, the International Congress of Mathematicians, and summer schools organized by the Mathematical Sciences Research Institute.

Category:French mathematicians Category:20th-century mathematicians Category:21st-century mathematicians