Autour de la thèse de Church-Turing (1936-2011)

 
 
Journée d’étude organisée par l’EA 1571 et l’UFR MITSIC
Jeudi 13 octobre 2011, 10h à 17h
Salle de la recherche de la bibliothèque universitaire
 
 
En 1936, dans une confluence d’idées remarquable, les logiciens Alonzo Church, Alan Turing et Emil L. Post découvrent indépendemment l’un de l’autre que le programme de Hilbert pour trouver un algorithme qui décide les mathématiques n’est pas tenable, et, autre face du même résultat, que tout calcul imaginable se laisse exprimer dans certaines formalismes (thèse de Church-Turing). On peut dire que la découverte de 1936 garantit sur le niveau théorique, que l’on peut calculer n’mporte quoi avec l’ordinateur, et comme tel elle est aujourd’hui devenue l’un des concepts-clés de l’informatique théorique et l’une des bases de notre compréhension contemporaine de la calculabilité. Dans la journée d’étude proposée, on veut approfondir l’étude historique et épistémologique de cette idée.
 
 
 
Programme : http://ufr6.univ-paris8.fr/Math/sitemaths2/spip/spip.php?article140
Contact : Maarten.Bullynck@univ-paris8.fr