L'informatica nacque dalle proprie ceneri. Alan Turing, per primo nel 1936, fece fallire il sogno che fu del vescovo medievale palindromo Llull, e poi dei seguaci dell' Ars combinatoria e dell' Ars reminiscendi , e dei costruttori di Teatri del Mondo, e infine di Leibniz, che con il suo Calculemus aveva fiducia di risolvere meccanicamente ogni controversia una volta che la questione fosse formulata nella Characteristica universalis . Oggi disponiamo del linguaggio logico universale, la logica dei predicati del I ordine ma, dopo Turing, sappiamo anche che ci sono problemi matematici che non potremo mai decidere in generale in modo meccanico.
In edicola