mathematical history
everything dean has shown was known at the time godel did his proof but no
one meantioned any of it ie Godels theorem is invalid as it uses invalid
axioms ie axiom of reducibility ie AR
http://gamahucherpress.yellowgum.com/bo ... GODEL5.pdf
look
godel used the 2nd ed of PM he says
note he says he is going to use AR“A. Whitehead and B. Russell, Principia Mathematica, 2nd edition,
Cambridge 1925. In particular, we also reckon among the axioms of PM
the
axiom of infinity (in the form: there exist denumerably many individuals),
and the axioms of reducibility and of choice (for all
types)”
but
Russell following wittgenstien took it out of the 2nd ed due to it being
invalid NOTE it was not in the 2nd ed which godel used
godel would have know that
russell and wittgenstien new godel used it but said nothing
ramsey points out AR is invalid before godel did his proof
godel would have know ramseys arguments
ramsey would have known godel used AR but said nothing
every one knew AR was invalidRamsey says
Such an axiom has no place in mathematics, and anything which cannot be
proved without using it cannot be regarded as proved at all.
This axiom there is no reason to suppose true; and if it were true, this
would be a happy accident and not a logical necessity, for it is not a
tautology. (THE FOUNDATIONS OF MATHEMATICS* (1925) by F. P. RAMSEY
they all knew godel used it
but nooooooooooooo one said -or has said anything for 76 years untill
dean
the theorem is a fraud the way godel presents it in his proof it is crap
