Anticipating Gödel and Turing, Leibniz promised that through digital computing “the human race will have a new kind of instrument which will increase the power of the mind much more than optical lenses strengthen the eyes.…
The purpose of computing is insight
