FOM: Re: theory-edge mailing list, tautologies

[Roger Bishop Jones]

In response to <JoeShipman at aol.com> Tuesday, July 31, 2001 4:45 AM

| The Continuum Hypothesis or its negation cannot have anything to say about
| computational complexity theory or any other set of mathematical
statements
| which can be formulated arithmetically.

Can you give a brief explanation for the non-specialist of why this is the
case?

Roger Jones