Biographie de Jean-Louis Krivine
Jean-Louis Krivine est professeur à l'Université Paris 7, spécialiste de logique et d'analyse fonctionnelle. Il a créé, en 1982, l'équipe de logique mathématique, qui est l'un des plus importants laboratoires au monde dans ce domaine. Lauréat de l'Académie des Sciences en 1994, il est l'auteur de plusieurs ouvrages de référence en logique.