vendredi 10 avril 2015

Machine_à_calculer_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.


Explications de construction : ici