FOM: misuse of G"odel's theorem

William Tait wtait at
Mon Feb 15 17:39:14 EST 1999


>G"odel's theorem (there are mathematical questions that we know our best
>present methods can't answer).
would not be a shocking mis-use of Goedel's theorem; but of course it does
not draw a correct consequence of it, either. For Godel's theorem does not
lead us to questions which our present methods can't answer; it only leads
us, given some formalization S of our present methods, to questions which S
can't answer (but we can).


More information about the FOM mailing list