Gilles Dowek
- Gilles Dowek
-
Gilles Dowek est un informaticien français. Ancien élève de l'École polytechnique, il soutint sa thèse de doctorat à l'Université Paris 7. Il est actuellement chercheur à INRIA.
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
- 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)
Lien externe
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Gilles Dowek de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Gilles Deleuze — Pour les articles homonymes, voir Deleuze. Gilles Deleuze Philosophe occidental Époque contemporaine … Wikipédia en Français
Plan de consistance — Gilles Deleuze Pour les articles homonymes, voir Deleuze. Gilles Deleuze Philosophe occidental Philosophie contemporaine Naissance : 18 janvier 1925 ( … Wikipédia en Français
Alain Finkielkraut — est un écrivain, philosophe et essayiste français né à Paris le 30 juin 1949. Auteur de nombreux ouvrages sur la littérature, l amour, la modernité, la judaïté, le nationalisme, la colonisation, il défe … Wikipédia en Français
Argument ontologique — L argument ontologique est un argument qui vise à prouver l existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu est l être (ontos) de Dieu : il est dans l être de Dieu d exister. On considère… … Wikipédia en Français
Grand Prix de Philosophie — Le Grand Prix de Philosophie est un prix annuel créé en 1987 et décerné par l Académie française. Lauréats 2011 François Jullien pour l ensemble de son œuvre 2010 Vincent Carraud pour l ensemble de son œuvre 2009 Rémi Brague pour l ensemble de… … Wikipédia en Français
Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… … Wikipédia en Français
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Nominal terms (computer science) — Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… … Wikipedia
Épistémologie de l'informatique — L épistémologie de l informatique est la branche de l épistémologie, parmi les épistémologies disciplinaires, qui prend pour objet d étude l informatique en tant que science pour en déterminer son épistémologie, c est à dire, d une part son ou… … Wikipédia en Français
Emmanuel Levinas — Philosophe occidental contemporain Naissance 12 janvier 1906 Décès 25 décembre 1995 (à 89 ans) … Wikipédia en Français
