[FOM] My claim that ZF proves: "There are no weakly inaccessible cardinals."
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.
More information about the FOM