Construis ta propre machine à calcul universelle … en papier

Alan Turing, en 1936 jette les bases de ce qui deviendra la théorie de la calculabilité en répondant par la négative à la question de savoir si toute proposition peut-être démontrée dans un système formel. Pour cela, il imagina une machine à calcul universelle en papier.

Sur le site de l’Espace-Turing, retrouve toutes les explications pour construire « la machine de Turing » et comprendre le fonctionnement avec des exemples de programmes.

En savoir plus : Wikipédia et encore plus sur Interstices