FOM: Goedel: truth and misinterpretations
kanovei at wmwap1.math.uni-wuppertal.de
Wed Nov 1 14:57:04 EST 2000
> Date: Wed, 01 Nov 2000 08:07:48 +0100
> From: Torkel Franzen <torkel at sm.luth.se>
> (2) Even if every even number greater than 2 is the sum of two
> primes, this is not necessarily provable in ZFC.
Mathematically, (2) is meaningless (and basically shows that
he who writes (2) either has no proper idea of mathematics at all
or does not bother to present his ideas in proper form).
Indeed, "A is not necessarily B" means, in standard mathematical
language, that there is an example of A which does not belong to B,
e.g. "an arbitrary group IS NOT NECESSARILY an abelian group".
In principle, this goes back to Aristotelian foundations of logic,
any A is B, not any A is B, etc., do you remember ?
Why don't you explain what you really mean ?
More information about the FOM