FOM: misuse of G"odel's theorem
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Wed Feb 17 03:37:26 EST 1999
<Date: Mon, 15 Feb 1999 16:39:14 -0600
<From: William Tait <wtait at ix.netcom.com>
<Godel's theorem (...) leads
<us, given some formalization S of our present methods, to questions which S
<can't answer (but we can).
S=ZFC is a quite adequate formalization of
*our present methods* in mathematics.
Could you please present any one question
which ZFC can't answer *but we can*.
Vladimir Kanovei
More information about the FOM
mailing list