07 févr. 2008 INRIA Sophia Antipolis - Méditerranée Dowek Gilles           Titre     Transparents La thèse de Church et la déraisonnable efficacité des mathématiques dans les sciences de la nature Pas de slides disponible. Résumé     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.         Video