FOM: Feferman on inherent vagueness of CH

Neil Tennant neilt at
Tue Dec 2 08:47:45 EST 1997

with "e is prime" (as with any other decidable statement) the intuitionistic
attitude is that one can "in principle" tell what the truth-value is. My
remark that you quote was really intended to apply only to statements for
which we have no decision procedure.

More information about the FOM mailing list