Mot clé : Alan Turing

Ressource
  Activité débranchée . Collège . Professeurs du secondaire . .

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 []