7 février 2008
Depuis le XVIIe siècle, on s’interroge sur les raisons de l’efficacité des mathématiques comme outil de description de la nature, ou, pour reprendre les mots de Galilée, sur les raisons pour lesquelles “Le Grand Livre de la nature est écrit en langage mathématique”. Cet exposé présente une nouvelle manière d’aborder cette question qui fait jouer un rôle central à des idées a priori bien éloignées : la notion de fonction calculable et la thèse de Church.
Gilles Dowek, responsable de l’équipe-projet LOGICAL, a reçu le prix de philosophie de l’Académie française pour son livre “Les Métamorphoses du calcul” qui nous entraîne dans l’étonnante histoire des mathématiques.
Gilles Dowek (Ecole Polytechnique)
