Gilles Dowek - Epistémologie de l’informatique

13:00
Thursday
3
Feb
2011
  • Keynote Speech
Organized by: 

L’équipe "Keynote Speeches" du LIG

Speaker: 

Gilles Dowek

http://www.lix.polytechnique.fr/~dowek/
Keywords: 
  • Calcul pour les sciences et technologies Informatique théorique

- 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.