A Quote by Bertrand Arthur William Russell on belief and logic
I am delighted to know that Principia Mathematica can now be done by machinery. . . I am quite willing to believe that anything in deductive logic can be done by machinery.
Source: a Letter to Herbert Simon, Nov. 2nd 1956; quoted in MacKenzie, 95
Contributed by: Zaady