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.
Bertrand RussellMorally, a philosopher who uses his professional competence for anything except a disinterested search for truth is guilty of a kind of treachery.
Bertrand RussellBut as the work proceeded I was continually reminded of the fable about the elephant and the tortoise. Having constructed an elephant upon which the mathematical world could rest, I found the elephant tottering, and proceeded to construct a tortoise to keep the elephant from falling. But the tortoise was not more secure than the elephant, and after some twenty years of very arduous toil, I came to the conclusion that there was nothing more that I could do in the way of making mathematical knowledge indubitable.
Bertrand Russell