Gilles Dowek

Gilles Dowek, né le [1] est un informaticien et logicien, philosophe français, ancien élève de l'École polytechnique (promotion X1985).

Gilles Dowek
Gilles Dowek en 2015
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

  1. Dowek, Gilles (1966-....), « BnF Catalogue général », sur catalogue.bnf.fr (consulté le 28 novembre 2016)
  2. Sur le site de l'équipe de logique de l'Université Paris 7
  3. « Conférence sur le PaCS le mardi 21 novembre 2000 »
  4. academie-francaise.fr 2007 Grand Prix de Philosophie, Les Métamorphoses du calcul. Une étonnante histoire de mathématiques (Le Pommier) 3750 €.
  5. La Recherche n°500, juin 2015, p94

Liens externes

  • Portail de la philosophie
  • Portail de l'informatique théorique
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.