NOUS AVONS VU
sur le Net
 

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.

   En première partie Gilles Dowek présente quelques propriétés mathématiques qui expliquent merveilleusement bien la nature.

   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.
rtsp://stream-serv.inrialpes.fr/Sop/colloquium_JMorgenstern/2008/Gilles_Dowek.rm.

___________________
Association EPI
Janvier 2010

Accueil

Nous avons lu