Turing's Cathedral: The Origins of the Digital Universe (Penguin Press Science)

by George Dyson

That zero and one were sufficient for logic as well as arithmetic was established by Gottfried Wilhelm Leibniz in 1679, following the lead given by Thomas Hobbes in his Computation, or Logique of 1656. “By Ratiocination, I mean computation,” Hobbes had announced. “Now to compute, is either to collect the sum of many things that are added together, or to know what remains when one thing is taken out of another. Ratiocination, therefore is the same with Addition or Substraction; and if any man adde Multiplication and Division, I will not be against it, seeing … that all Ratiocination is comprehended in these two operations of the minde.”4 The new computer, for all its powers, was nothing more than a very fast adding machine, with a memory of 40,960 bits.