Jean-Louis Krivine

Carte Commune · n° 249894

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).

Lire sur Wikipédia