L’équipe "Keynote Speeches" du LIG
Gilles Dowek
Lieu : IUT2, place Doyen Gosse, Amphi 2
Cette Keynote se fera dans le cadre des journées SPECIF 2011 organisées à Grenoble. Gilles Dowek est actuellement professeur à l’École Polytechnique, chercheur au LIX et à l’INRIA. Il a notamment travaillé sur le système Coq et ses fondements théoriques en lambda calcul d’ordre supérieur. 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.
Voir :
L’article publié par l’Université Joseph Fourier (UJF)
Toutes les Keynotes du LIG
Dans cet exposé, Gilles Dowek essaiera de montrer quelques exemples d’apports de la philosophie des sciences à la science elle-même.
Il présentera comment la philosophie permet de faire émerger de nouveaux problèmes scientifiques, en particulier en informatique, comment elle aide à mieux comprendre la nature et la classification des différents champs scientifiques et comment elle aide à mieux comprendre la manière dont certains de ces champs, en particulier l’informatique, sont perçus de l’extérieur.