Touche la carte pour la faire tourner.
Peu commune
Mathématicien français
1/1Un exemplaire au monde.
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, professeur des universités (professeur émérite à l’université Paris-Diderot), membre fondateur de l’unité mixte de recherche Preuves, Programmes et Systèmes, maintenant partie de l’Institut de recherche en informatique fondamentale (IRIF).
Illustration
Cette carte n’a pas encore d’illustration.
Texte
Résumé et adapté de l’article « Jean-Louis Krivine », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.