[FOM] Has Principia Mathematica been formally verified?

[Allen Hazen]

For what it's worth, Frederic Fitch told the story of "Logic Theorist" and the JSL's rejection of the paper in his basic undergraduate logic course in the fall of 1966.  He said the reason given for rejection was that proofs of that style (i.e. deductions from the PM axioms) were no longer of sufficient interest to justify publication.

Allen Hazen
Philosophy Department
University of Alberta