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…. Reason will be right beyond all doubt only when it is everywhere as clear and certain as only arithmetic has been until now.”
