La découverte de la calculabilité

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

Journée d’étude organisée par l’EA EA Equipe d’accueil.
L’Equipe d’Accueil constitue la structure la plus fréquente des unités de recherches propres de l’enseignement supérieur.
Ses diverses orientations doivent faire état d’un programme d’actions articulé sur plusieurs années.
Les équipes d’accueil sont destinées en priorité à l’encadrement de doctorants. 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