Gilles Dowek

Biographie

Gilles Dowek soutient en 1991 une thèse de doctorat à l'Université Paris 7 intitulée Démonstration automatique dans le calcul des constructions. Il enseigne à l'École polytechnique de 2002 à 2010. Il est actuellement chercheur à INRIA.

Il est un ancien président de l'Ardhis (Association pour la reconnaissance des Droits des personnes homosexuelles et transsexuelles à l'immigration et au séjour).

Travaux et distinctions

Il a notamment travaillé sur le système Coq et ses fondements théoriques en lambda calcul.

Il a reçu le Grand Prix de Philosophie de l'Académie Française pour le livre Les Métamorphoses du calcul. Une étonnante histoire de mathématiques.

Bibliographie

• La logique, Paris, Flammarion, coll. « Dominos », 1995, 126 p. (ISBN 2-08-035414-0)
• Peut-on croire les sondages ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », 2002, 62 p. (ISBN 978-2-7465-0025-9)
• Voulez-vous jouer avec les maths ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », 2002, 64 p. (ISBN 978-2-7465-0052-5)
• Les Métamorphoses du calcul. Une étonnante histoire de mathématiques, Paris, Édition Le Pommier, coll. « Essais », 2007, 223 p. (ISBN 978-2-7465-0324-3)
• Ces préjugés qui nous encombrent, Paris, Édition Le Pommier, coll. « Manifestes », 2009, 108 p. (ISBN 978-2-7465-0448-6)
• La logique, Édition Le Pommier, 2015, 128 p.
• Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)

Notes et références

Lien externe

• Page personnelle de Gilles Dowek

• Portail de la philosophie
• Portail de l'informatique théorique
• Portail de la logique