Jean-Louis Krivine
Jean-Louis Krivine (* 1939[1]) ist ein französischer mathematischer Logiker und Mathematiker.
Leben
BearbeitenEr studierte ab 1957 an der École normale supérieure (ENS) mit dem Abschluss der Agrégation in Mathematik 1960. 1967 wurde er bei Jean-Pierre Kahane promoviert (Doctorat d’Etat)[2]. Er war Professor an der Universität Paris VII (Denis Diderot) und Mitglied des Labors für Beweise, Programme und Systeme (Preuves, Programmes et Systèmes). Inzwischen ist er emeritiert, ist aber weiter mathematisch aktiv (2011).
Werk
BearbeitenIn der Mengenlehre und Logik wandte er sich in den 1980er Jahren der Schnittstelle von Logik und Informatik zu im Umfeld des durch die Curry-Howard Korrespondenz beschriebenen Zusammenhangs von Beweisen der mathematischen Logik und Programmen, dessen volle Tragweite damals von einer neuen Forschergeneration erkannt und aufgegriffen wurde. Krivine entwickelte ein Programm um dieses Konzept der Realisierbarkeit und wandte es in den 2000er Jahren auch auf die axiomatische Mengenlehre an, um neue Modelle der Zermelo Fraenkel Mengenlehre zu gewinnen, die nicht auf dem Forcing Konzept beruhen.
Er befasste sich auch mit Banachräumen, wo er in den 1960er und 1970er Jahren bedeutende Beiträge leistete. Er führte mit Dacunha-Castelle Ultraprodukte in die Theorie der Banachräume ein und 1977 fand er die bisher beste obere Schranke für die Konstante von Grothendieck im reellen Fall.[3] Mit Bernard Maurey führte er den Begriff stabiler Banachräume ein.[4] Der Satz von Krivine über die endliche Darstellbarkeit von in einem Banachraum ist nach ihm benannt.[5]
Er leistete auch 1964[6] Beiträge zur reellen algebraischen Geometrie, die spätere Entwicklungen vorwegnahmen, bei der Anfang der 1970er Jahre einsetzenden Entwicklung der Theorie aber unberücksichtigt blieben und von anderen Mathematikern unabhängig gefunden wurden (zum Beispiel den Satz von Kadison und Dubois).[7]
Er schrieb mehrere Lehrbücher, unter anderem über den Lambda-Kalkül (eine abstrakte Maschine zur Reduktion von Lambda-Termen ist als Krivine-Maschine bekannt), Modelltheorie und axiomatische Mengenlehre, die teilweise auch ins Englische und Deutsche übersetzt wurden.
2004 erhielt er den Prix du Rayonnement Francais.[8]
Zu seinen Doktoranden zählen Jean-Yves Girard, Daniel Lascar, Jacques Stern, Serge Grigorieff.
Schriften
Bearbeiten- Théorie des ensembles (= Nouvelle Bibliothèque Mathématique. 5). Cassini, Paris 1998, ISBN 2-84225-014-1.
- Lambda-calcul. Types et modèles. Masson, Paris u. a. 1990, ISBN 2-225-82091-0 (englisch Übersetzung: Lambda-calculus, types and models. Masson u. a., Paris u. a. 1993, ISBN 0-13-062407-1).
- Théorie axiomatique des ensembles (= Collection SUP. Le Mathématicien. 1, ZDB-ID 185116-0). Presses Universitaires de France, Paris 1969 (englische Übersetzung: Introduction to axiomatic set theory. Reidel, Dordrecht 1971, ISBN 90-277-0411-2).
- mit Georg Kreisel: Éléments de logique mathématique. Théorie des modèles (= Monographies de la Société Mathématique de France. 3, ISSN 0583-8673). Dunod, Paris 1967, (englisch Übersetzung: Elements of mathematical logic. (Model theory). North Holland, Amsterdam 1967).
- Deutsche Übersetzung: Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Springer, Berlin u. a. 1972, ISBN 3-540-05654-8.
Weblinks
Bearbeiten- Homepage
- Jean-Louis Krivine in der Datenbank zbMATH
Einzelnachweise
Bearbeiten- ↑ Geburtsdatum nach Albrecht Pietsch: History of Banach Spaces and Linear Operators. Birkhäuser, Boston MA u. a. 2007, ISBN 978-0-8176-4367-6.
- ↑ Titel der Dissertation Sous-espaces et cones convexes dans les espaces , Mathematics Genealogy Project.
- ↑ Krivine: Constantes de Grothendieck et fonctions de type positif sur les sphères. In: Advances in Mathematics. Band 31, Nr. 1, 1979, S. 16–30, doi:10.1016/0001-8708(79)90017-3.
- ↑ Krivine, Bernard Maurey: Espaces des Banach stable. In: The Israel Journal of Mathematics. Band 39, Nr. 4, 1981, S. 273–295, doi:10.1007/BF02761674.
- ↑ Krivine: Sous-espaces de dimension finie des espaces Banach réticulés. In: Annals of Mathematics. Serie 2, Band 104, Nr. 1, 1976, S. 1–29, JSTOR:1971054.
- ↑ Krivine: Anneaux préordonneés. In: Journal d’Analyse Mathematique. Band 12, 1964, ISSN 0021-7670, S. 307–326, doi:10.1007/BF02807438.
- ↑ Pierre-Louis Curien, Gilles Pisier: Le prix du rayonnement français 2004 : Jean-Louis Krivine. In: Gazette des Mathematiciens. Band 104, 2005, ISSN 0224-8999, S. 99–101, (Verlag). Alexander Prestel, Charles N. Delzell: Positive Polynomials. From Hilbert’s 17th Problem to Real Algebra. Springer, Berlin u. a. 2001, ISBN 3-540-41215-8.
- ↑ Würdigung: Pierre-Louis Curien, Gilles Pisier: Le prix du rayonnement français 2004 : Jean-Louis Krivine. In: Gazette des Mathematiciens. Band 104, 2005, S. 99–101, (Verlag).
| Personendaten | |
|---|---|
| NAME | Krivine, Jean-Louis |
| KURZBESCHREIBUNG | französischer mathematischer Logiker und Mathematiker |
| GEBURTSDATUM | 1939 |