Ramsey says axiom of reducibility is invalid therefore Godels incompleteness theorem invalid
- From: "elsiemelsi" <cyprinsam@xxxxxxxxxxxxxxx>
- Date: Wed, 05 Dec 2007 12:33:45 -0500
The Australian philosopher colin leslie dean points out that Ramsey says
the axiom of reducibility is invalid Therefore dean claims Godels theorem
is invalid
Godel uses the axiom of reducibility Axiom 1V of his system is the axiom
of reducibility ?As Godel says ?this axiom represents the axiom of
reducibility (comprehension axiom of set theory)?
Godel uses axiom 1V the axiom of reducibility in his formula 40 where
he states ?x is a formula arising from the axiom schema 1V.1
Russell Wittgenstien and Ramsey say the axiom of reducibility is invalid
Ramsey states
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
Thus by using an invalid axiom his theorem must be invalid-regardless of
what others have proven
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
By
COLIN LESLIE DEAN
B.SC, B.A, B.LITT (HONS), M.A, B,LITT (HONS), M.A,
M.A (PSYCHOANALYTIC STUDIES), MASTER OF PSYCHOANALYTIC STUDIES, GRAD CERT
(LITERARY STUDIES)
GAMAHUCHER PRESS WEST GEELONG, VICTORIA AUSTRALIA
2007
.
- Prev by Date: Re: Enderton problem
- Next by Date: Philosophers argue self-referencing statements are invalid therefore Godels theorem is invalid as it uses these statements
- Previous by thread: adjective noun first order logic
- Next by thread: Philosophers argue self-referencing statements are invalid therefore Godels theorem is invalid as it uses these statements
- Index(es):
Relevant Pages
|