FOM: Feferman on inherent vagueness of CH

Neil Tennant neilt at hums62.cohums.ohio-state.edu
Tue Dec 2 08:47:45 EST 1997


Torkel,
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.
Best,
Neil



More information about the FOM mailing list