[FOM] CH and mathematics
Charles Silver
silver_1 at mindspring.com
Thu Jan 24 13:57:00 EST 2008
On Jan 23, 2008, at 11:49 AM, joeshipman at aol.com wrote:
> I should probably add to my remarks below that, according to my
> "necessary condition", the Continuum Hypothesis seems unlikely to be
> "definite". I am sympathetic to Woodin's view that "if CH is definite,
> then CH is false", but I haven't seen good arguments for CH's
> definiteness.
Yeah, but if CH is not definite,#* then "if CH is definite, then CH
is true" as well.
____________________
#* I'm personally convinced by Feferman that the concept is vague.
What's the argument that it's not? (Other than the question-begging
"such-and-such in mathematical theory T must be true or false, even
if it's neither provable nor disprovable within T".)
More information about the FOM
mailing list