Re: Godels incompleteness theorm proven wrong
- From: Owen <owenholden@xxxxxxxxxx>
- Date: Tue, 25 Sep 2007 10:51:55 -0700
On Sep 23, 12:38 am, "elsiemelsi" <cyprin...@xxxxxxxxxxxxxxx> wrote:
The Australian philosopher Colin leslie dean argues Gödel is a complete
failure as he ends in utter meaninglessness Gödel's incompleteness
theorem ends in absurdity
or meaninglessness, becuase he used invalid and flawed axioms-which
either lead to paradox or end in paradox. For example Godels uses the
axiom of reducibility but this axiom was rejected as being invalid by
Russell as well as most philosophers and mathematicians
Nonsense!
The axiom of reducibility has been shown to be trivially true.
Frank Ramsey has shown that Russell's predicative function is
superflous, that is to say: EFAx(F!x <-> Gx) is reduced to EFAx(Fx <->
Gx), which follows from the trivial tautology Ax(Gx <->
Gx).
ie. Ax(Gx <-> Gx) -> EFAx(Fx <-> Gx), is tautologous, therefore,
EFAx(Fx <-> Gx) is a theorem ...the axiom of reducibility is a logical
truth.
.
- References:
- Godels incompleteness theorm proven wrong
- From: elsiemelsi
- Godels incompleteness theorm proven wrong
- Prev by Date: Re: HAha!! I HAVE DONE THE GRAPHICS FOR F.L.T. SIMPLE SOLUTION - Adam style...
- Next by Date: Re: Q: surrounding a sphere
- Previous by thread: Re: Godels incompleteness theorm proven wrong
- Next by thread: Pythagoras Uranium (PU)
- Index(es):
Relevant Pages
|
