[FOM] Has Principia Mathematica been formally verified?
allenph at unimelb.edu.au
Thu Jul 28 00:53:48 EDT 2011
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.
University of Alberta
More information about the FOM