Re: Goedel's Incompleteness Reconsidered


Eukie_M_SHIRAISHI

it is irrelevent about the logic godel uses
as
he uses invalid axioms and his theorem is meaningless as he cant tell us
what makes a statement true

The australian philosopher colin leslie dean points out that Godel does
not
tell us what makes a statement true thus his theorem is meaningless

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

G�¶del's incompleteness theorems - Wikipedia, the free encyclopedia

[quote]Gödel's first incompleteness theorem, perhaps the single most
celebrated result in mathematical logic, states that:

For any consistent formal, recursively enumerable theory that proves basic
arithmetical truths, an arithmetical statement that is true, but not
provable in the theory, can be constructed.1 That is, any effectively
generated theory capable of expressing elementary arithmetic cannot be
both consistent and complete"[/quote]

but Godel does not tell us what
makes a statement true

thus his theorem is meaningless as colin leslie dean argues

In mathematics the old idea of "true" was that of Hilbert who believed
that

a true statement was one proven from axioms

Truth - Wikipedia, the free encyclopedia
quote
[quote]"true statements in mathematics were generally assumed to be those
statements which are provable in a formal axiomatic system.

The works of Kurt Gödel, Alan Turing, and others shook this
assumption,with the development of statements that are true but cannot be
proven within the system"[/quote]

Now though Godel made a distinction
between a proven statement and a true statement mathematicians and Godel
donot tell us what a true statement is

Godel noted a true statement was independent of provability by his
distinction
but
he does not nor do mathematician tell us what makes a statement true

thus his theorem is meaningless

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages

  • Re: AREA
    ... BUT the taylor series does so 'indirectly' ... meaningless as you always assumed. ... David C. Ullrich ... That would make a mockery of everything Godel ...
    (sci.math)
  • Re: AREA
    ... union of D_1 and D_2. ... meaningless as you always assumed. ... That would make a mockery of everything Godel ... "expanding f" at other ...
    (sci.math)
  • Re: AREA
    ... union of D_1 and D_2. ... meaningless as you always assumed. ... That would make a mockery of everything Godel ... "expanding f" at other ...
    (sci.math)
  • Godel theorem is meaningless as he does not tell us what "true" statements are
    ... The australian philosopher colin leslie dean points out that Godel does not ... tell us what makes a statement true thus his theorem is meaningless ... In mathematics the old idea of "true" was that of Hilbert who believed ...
    (sci.logic)
  • Godel does not tell us what "true" statements are thus theorem is meaningless
    ... The australian philosopher colin leslie dean points out that Godel does not ... tell us what makes a statement true thus his theorem is meaningless ... In mathematics the old idea of "true" was that of Hilbert who believed ...
    (sci.logic)
Quantcast