[FOM] Has Principia Mathematica been formally verified?

Allen Hazen 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.

Allen Hazen
Philosophy Department
University of Alberta

More information about the FOM mailing list