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 […]
En poursuivant votre navigation sur ce site, vous acceptez l'installation et l'utilisation de cookies, dans le respect de votre vie privée Mentions légales..