FOM: re: On CH/1
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Mon Dec 8 13:04:08 EST 1997
>From: Harvey Friedman <friedman at math.ohio-state.edu>
>Date: Mon, 8 Dec 1997 02:28:20 +0100
............
> I strongly suspect that by 2100, the CH situation will be clarified
Still there is something strange in around CH. It looks like
more a cultural rather mathematical phenomenon. Indeed
compare two *problems*:
CH: ........
CD (cube duplicate): express 2^(1/3) as a combination of square roots
To solve CH means to find a "computation", which involves logical
inherence, ending by CH or its negation.
To solve CD means to find a "computation", which involves square
roots, ending by 2^(1/3).
Both have been proved to be impossible, so in principle both have
one and the same mathematical status.
Both are important for certain types of mathematics. Perhaps there
are many mathematicians who say CD is more important, at least for
1 and 2 (if not for 3 as well) in the HF scheme.
But who now cares how to solve CD by 2100 ?
Why after all CH is so attractive as a topic for discussions ?
Vladimir Kanovei
More information about the FOM
mailing list