From his plans for a combinatorics of symbols, to the mechanization of thought, to designing mechanical automata that could compute for us, to binary notation, Gottfried Leibniz gave us a sense of how rationality was mechanically possible and how reason could be mechanically explained as ‘well-behaved’ thought-to-thought transitions using symbols. In what follows, I shall trace the developments of some of Leibniz’s ideas and present the elements of his vision of a future, which, so I argue, are entirely consonant with modern machine intelligence and which were remarkably ahead of their time.
