|
NOUS AVONS VU La thèse de Church et la déraisonnable efficacité des mathématiques dans les sciences de la nature Une vidéo d'un exposé de Gilles Dowek dans le cadre du colloquium Jacques Morgenstern.
La deuxième partie de l'exposé est consacrée à la notion de fonction calculable (nécessaire pour la thèse de Church). Gilles en arrive à la thèse de Church (à 33 min) pour défendre le point de vue que « La thèse de Church c'est n'importe quoi, et que l'on est obligé de la remplacer par des énoncés un tout petit peu différents ». Il termine son exposé en évoquant ce pour quoi il consacre une partie de son temps, l'enseignement de l'informatique au lycée. http://www-sop.inria.fr/colloquium/dowek/video.html. ___________________
|
En première partie Gilles Dowek présente quelques propriétés mathématiques qui expliquent merveilleusement bien la nature. 