[FOM] CH and vagueness

[Martin Davis]

The negation of CH may be stated as follows:\\

There is a set S of real numbers such that:
1. there is no bijection between S and the set of all real numbers, and
2. there is no bijection between S and any set of natural numbers.

It will be recognized that the concepts involved in making this statement
are all readily acceptable in the mathematical literature.  So someone
claiming that CH is inherently vague should be prepared to tell us which if
these concepts are vague as well as how this purported vagueness avoids
contaminating ordinary mathematical discourse.

Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140820/9eae7ea5/attachment.html>