Alan Turing : du calculable à l'indécidable

Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs.

Mots-clés : calculabilité,thèse de Church,machine de Turing,problème de la décision,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Jean-Gabriel Ganascia,Institut National de Recherche en Informatique et en Automatique / Interstices