Jean-Yves Girard
Chercheur émérite au cnrs, le logicien Jean-Yves Girard, né en 1947 à Lyon, a exercé une influence considérable sur la logique mathématique et l’informatique : système F (1970), logique linéaire (1986). Et entrepris un travail de réflexion sur la logique moderne, à commencer, dans un ouvrage paru en 1989 au Seuil, par le théorème de Gödel qu’il présente comme l’antidote à l’instrumentalisation scientiste de la logique. Ce positionnement à contre-courant est celui d’un "logicien scélérat", selon l’heureuse expression utilisée par Antonio Mosca dans un article consacré à Jean-Yves Girard dans la revue Critique.