« Jean-Louis Krivine » : différence entre les versions

Biographie
Naissance	1939
Nationalité	française
Formation	Faculté des sciences de Paris (doctorat) (jusqu'en 1967); École normale supérieure
Activités	Mathématicien, professeur d'université
A travaillé pour	Institut de recherche en informatique fondamentale; Université Paris-Diderot
Directeur de thèse	Jean-Pierre Kahane
Anciens élèves	Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff
Site web	www.irif.fr/~krivine

Navigation interactive dans l’historique

← Modification précédente Modification suivante →

Contenu supprimé Contenu ajouté

VisuelWikicode

Intégrés

Version du 19 mai 2024 à 01:04

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.

Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique. Il est ancien élève de l'École normale supérieure de Paris (promotion 1957), agrégé de mathématiques (1960), docteur d'État en mathématiques (1967) sous la direction de Jean-Pierre Kahane^[1], professeur des universités (professeur émérite à l'université Paris-Diderot), membre associé de l'unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l'Institut de recherche en informatique fondamentale (IRIF).

Famille

Travaux

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 $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, Serge Grigorieff et Daniel Andler.

Réflexions philosophiques sur les mathématiques

Jean-Louis Krivine, parallèlement à ses activités d'enseignant, d'auteur d'ouvrages de référence en logique mathématique et de chercheur autour de la correspondance de Curry-Howard, est aussi un philosophe des mathématiques assez original.

Il défend une thèse résolument matérialiste et basée sur la théorie de l'évolution consistant à dire que le mathématicien ou plus précisément, le logicien, étudie, généralement sans s'en rendre compte, son propre cerveau. Plus précisément, le logicien étudie son cerveau d'humain, très proche du cerveau des autres mammifères, cerveau que l'évolution du vivant a adapté à notre environnement physique.

Typiquement, la notion d'espace vectoriel existe dans le cerveau d'une vache, les bovins comme les autres mammifère étant issu d'une adaptation du vivant à un monde physique tri-dimensionnel.

Cette thèse est développée par Krivine dans des conférences et écrits depuis au moins 1992. ^[8]

Prix

En 2004, Krivine a reçu le prix du rayonnement français^[6]^,^[9]. Ce prix a été décerné par l'association Réalités et Relations internationales (ARRI)^[10].

Livres

É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 2^e édition (1^re éd. 1969)
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, Paris, Cassini, coll. « Nouvelle bibliothèque mathématique », 2007, 2^e éd. (1^re éd. 1998), 271 p. (ISBN 978-2-84225-096-6).

Notes et références

↑ (en) « Jean-Louis Krivine », sur le site du Mathematics Genealogy Project.
↑ Jean-Louis Krivine, « Constantes de Grothendieck et fonctions de type positif sur les sphères », Advances in Mathematics, vol. 31,‎ 1979, p. 16-30.
↑ Jean-Louis Krivine et Bernard Maurey, « Espaces de Banach stables », Israel J. Math., vol. 39,‎ 1981, p. 273-295.
↑ Jean-Louis Krivine, « Sous-espaces de dimension finie des espaces de Banach réticulés », Annals of Mathematics, vol. 116,‎ 1976, p. 1-29.
↑ Jean-Louis Krivine, « Anneaux préordonneés », Journal d'Analyse Mathématique, vol. 12,‎ 1964, p. 307-326.
↑ ^{a et b} Pierre-Louis Curien et Gilles Pisier, « Le prix du rayonnement français 2004: Jean-Louis Krivine », Gazette des mathématiciens, n^o 104,‎ 2005, p. 99-101 (MR 2139866, lire en ligne).
↑ Alexander Prestel et Charles Delzell, Positive Polynomials : From Hilbert’s 17th Problem to Real Algebra, Springer, 2001, viii+269 (ISBN 978-3-540-41215-1, lire en ligne).
↑ [PDF] Mathématique des programmes et programme des mathématiques
↑ À ne pas confondre avec le prix du rayonnement français, de nature plus littéraire.
↑ ARRI page d'accueil.

Voir aussi

Article connexe

Machine de Krivine

Liens externes

Site officiel
Ressources relatives à la recherche :
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie
- WorldCat
Page personnelle, sur irif.fr

[1] (en) « Jean-Louis Krivine », sur le site du Mathematics Genealogy Project.

[2] Jean-Louis Krivine, « Constantes de Grothendieck et fonctions de type positif sur les sphères », Advances in Mathematics, vol. 31,‎ 1979, p. 16-30.

[3] Jean-Louis Krivine et Bernard Maurey, « Espaces de Banach stables », Israel J. Math., vol. 39,‎ 1981, p. 273-295.

[4] Jean-Louis Krivine, « Sous-espaces de dimension finie des espaces de Banach réticulés », Annals of Mathematics, vol. 116,‎ 1976, p. 1-29.

[5] Jean-Louis Krivine, « Anneaux préordonneés », Journal d'Analyse Mathématique, vol. 12,‎ 1964, p. 307-326.

[Gaz-6] {a et b} Pierre-Louis Curien et Gilles Pisier, « Le prix du rayonnement français 2004: Jean-Louis Krivine », Gazette des mathématiciens, n^o 104,‎ 2005, p. 99-101 (MR 2139866, lire en ligne).

[7] Alexander Prestel et Charles Delzell, Positive Polynomials : From Hilbert’s 17th Problem to Real Algebra, Springer, 2001, viii+269 (ISBN 978-3-540-41215-1, lire en ligne).

[8] [PDF] Mathématique des programmes et programme des mathématiques

[9] À ne pas confondre avec le prix du rayonnement français, de nature plus littéraire.

[10] ARRI page d'accueil.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

@@ Ligne 26 : / Ligne 26 : @@
 Parmi ses anciens élèves figurent [[Jean-Yves Girard]], Daniel Lascar, [[Jacques Stern (cryptologue)|Jacques Stern]], Serge Grigorieff et [[Daniel Andler]].
+== Réflexions philosophiques sur les mathématiques ==
-=== Prix ===
+Jean-Louis Krivine, parallèlement à ses activités d'enseignant, d'auteur d'ouvrages de référence en logique mathématique et de chercheur autour de la [[correspondance de Curry-Howard]], est aussi un [[philosophie des mathématiques|philosophe des mathématiques]] assez original.
+Il défend une thèse résolument [[matérialisme|matérialiste]] et basée sur la [[théorie de l'évolution]] consistant à dire que le mathématicien ou plus précisément, le logicien, étudie, généralement sans s'en rendre compte, son propre cerveau. Plus précisément, le logicien étudie son cerveau d'humain, très proche du cerveau des autres mammifères, cerveau que l'évolution du vivant a adapté à notre environnement physique.
+Typiquement, la notion d'[[espace vectoriel]] existe dans le cerveau d'une vache, les bovins comme les autres mammifère étant issu d'une adaptation du vivant à un monde physique tri-dimensionnel.
+Cette thèse est développée par Krivine dans des conférences et écrits depuis au moins 1992. <ref>{{pdf}} [https://www.irif.fr/~krivine/articles/mathpro2.pdf Mathématique des programmes et programme des mathématiques]</ref>
+== Prix ==
 En 2004, Krivine a reçu le prix du rayonnement français<ref name="Gaz"/>{{,}}<ref>À ne pas confondre avec le [[prix du rayonnement français]], de nature plus littéraire.</ref>. Ce prix a été décerné par l'association ''Réalités et Relations internationales'' (ARRI)<ref>[https://www.arri.fr/page/74116-accueil ARRI page d'accueil].</ref>.