Godel proves his own incompleteness theorems invalid

Godels has argued that impredicative definitions destroy mathematics and
make it false

http://www.friesian.com/goedel/chap-1.htm

Gödel has offered a rather complex analysis of the vicious circle
principle and its devastating effects on classical mathematics
culminating
in the conclusion that because it "destroys the derivation of mathematics
from logic, effected by Dedekind and Frege, and a good deal of modern
mathematics itself" he would "consider this rather as a proof that the
vicious circle principle is false than that classical mathematics is
false


Yet Godel uses impredicative definitions in his first and second
incompleteness theorems

? The solution suggested by Whitehead and Russell, that a proposition
cannot say something about itself , is to drastic... We saw that we can
construct propositions which make statements about themselves,? ((K Godel
, On undecidable propositions of formal mathematical systems in The
undecidable , M, Davis, Raven Press, 1965, p.63 of this work Dvis notes,
?it covers ground quite similar to that covered in Godels orgiinal 1931
paper on undecidability,? p.39.)

The use of impredicative defintions by Godel has made the Australian
philosopher colin leslie dean argue that his incompleteness theorems are
invalid- a conclusion which is endorsed by Godels own critique of
impredicative definitions. Colin leslie dean also argues that apart from
godels use of impredicative definitions his incompleteness theorems are
invalid as he uses invalid axioms ie axiom of reduciblity and axiom of
choice.
Just the use of the axiom of reduciblity would makes his incompletenes
theorem invalid as this axiom has been condemed by philosophers and
mathematicians as being invalid

http://gamahucherpress.yellowgum.com/books/philosophy/GODEL5.pdf

GÖDEL?S INCOMPLETENESS THEOREM. ENDS IN ABSURDITY OR MEANINGLESSNESS
GÖDEL IS A COMPLETE FAILURE AS HE ENDS IN UTTER MEANINGLESSNESS
CASE STUDY IN THE MEANINGLESSNESS OF ALL VIEWS

.

Relevant Pages
Quantcast