Gilles Dowek

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Gilles Dowek
Gilles Dowek.jpg

Gilles Dowek en 2015

Naissance
Voir et modifier les données sur Wikidata (50 ans)
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

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

Biographie[modifier | modifier le code]

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 à 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)[3].

Travaux et distinctions[modifier | modifier le code]

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[modifier | modifier le code]

  • 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]
  • Third Order Matching is Decidable. Ann. Pure Appl. Logic 69(2-3): 135-155 (1994)

Notes et références[modifier | modifier le code]

  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. [1] 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

Lien externe[modifier | modifier le code]