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
Explications de construction : ici
