Bertrand Russell

Born on this day.

It just so happens that while writing on Herbert Simon today I was reminded of Russell who, on hearing from Simon about his “thinking machine” that proved theorems from Principia Mathematica, responded:

“I am delighted to know that ‘Principia Mathematica’ can now be done by machinery. I wish Whitehead and I had known of this possibility before we wasted 10 years doing it by hand.”

Irvine, A. D. (2009). Russell’s Logic. In: Handbook of the History of Logic, Volume 5: Logic from Russell to Church (eds.) Dov M. Gabbay and John Wood. Amsterdam: Elsevier / North-Holland, p. 24