Jean-Louis Krivine
mathématicien français / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Jean-Louis Krivine?
Résumez cet article pour un enfant de 10 ans
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).
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.
Pour les articles homonymes, voir Krivine.
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Directeur de thèse | |
Anciens élèves |
Jean-Yves Girard, Daniel Lascar, Jacques Stern et Serge Grigorieff |
Site web |