[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