[FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."

Vaughan Pratt pratt at cs.stanford.edu
Fri Aug 19 11:27:08 EDT 2011

It occurs to me to ask whether "surprising" is significantly different 
from "dubious" when making preliminary assessments of recent 
announcements.  If it is eventually accepted, everyone is indeed 
surprised, while if not, the information-theoretic meaning of 
"surprising" as "improbable" has been borne out.

Vaughan Pratt

More information about the FOM mailing list