Quick Facts
Biography
Gilles Dowek, né le est un informaticien et logicien, philosophe français, ancien élève de l'École polytechnique (X1985).
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 », , 126 p. (ISBN 2-08-035414-0)
- Peut-on croire les sondages ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », , 62 p. (ISBN 978-2-7465-0025-9)
- Voulez-vous jouer avec les maths ?, Paris, Édition Le Pommier, coll. « Les petites pommes du savoir », , 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 », , 223 p. (ISBN 978-2-7465-0324-3)
- Ces préjugés qui nous encombrent, Paris, Édition Le Pommier, coll. « Manifestes », , 108 p. (ISBN 978-2-7465-0448-6)
- La logique, Édition Le Pommier, , 128 p.
- Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)
Notes et références
Lien externe
Portail de la philosophie
Portail de l'informatique théorique
Portail de la logique
