Lire Turing. Voyage à travers l'article historique de Turing sur la calculabilité et les machines de Turing

Idées principales

• Étude de l'œuvre d'Alan Turing «Sur les nombres calculables, avec une application au problème de la décision» et son influence sur le développement des sciences informatiques.
• Concept de la machine de Turing en tant que modèle abstrait de calcul et son rôle dans la formation de l'informatique théorique.
• Analyse du concept de calculabilité et de ses limites, y compris le problème de l'arrêt.
• Contexte historique et développement des idées liées à la formalisation des notions d'algorithme et de calcul.
• Influence du travail de Turing sur le développement des ordinateurs modernes et de la programmation.
• Commentaire détaillé et explication des concepts mathématiques et logiques complexes présentés dans l'œuvre originale de Turing.