Gilles Dowek
Gilles Dowek, né le [1] est un informaticien et logicien, philosophe français, ancien élève de l'École polytechnique (promotion X1985).
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Principaux intérêts |
mathématique, informatique, philosophie des sciences |
| Œuvres principales |
Les Métamorphoses du calcul. Une étonnante histoire de mathématiques Ces préjugés qui nous encombrent |
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[2]. Il enseigne à l'École polytechnique de 2002 à 2010. Il est actuellement chercheur à l’INRIA, rattaché au Laboratoire de Spécification et Vérification de l'École normale supérieure Paris-Saclay où il est également professeur attaché.
Il a présidé l'ARDHIS (Association pour la reconnaissance des Droits des personnes homosexuelles et transsexuelles à l'immigration et au séjour)[3].
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[4].
Bibliographie
- Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)
- 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.[5]
- Le temps des algorithmes, Paris, Édition Le Pommier, coll. « Essais », , 192 p. (ISBN 978-2-7465-1175-0)
- Ce dont on ne peut parler il faut l'écrire, Langues et langages, Paris, Édition Le Pommier, coll. « Essais », , 216 p. (ISBN 978-2-7465-1800-1)
Notes et références
- Dowek, Gilles (1966-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le 28 novembre 2016)
- Sur le site de l'équipe de logique de l'Université Paris 7
- « Conférence sur le PaCS le mardi 21 novembre 2000 »
- academie-francaise.fr 2007 Grand Prix de Philosophie, Les Métamorphoses du calcul. Une étonnante histoire de mathématiques (Le Pommier) 3750 €.
- La Recherche n°500, juin 2015, p94
Liens externes
- Ressource relative à la recherche :
- Page personnelle de Gilles Dowek
