FOM: Re: theory-edge mailing list, tautologies

Roger Bishop Jones rbjones at
Tue Jul 31 11:01:18 EDT 2001

In response to <JoeShipman at> 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
| which can be formulated arithmetically.

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

Roger Jones

More information about the FOM mailing list