ladyjane
(ladyjane)
November 9, 2008, 9:50am
1
I have just shown you in a thread that you dont know what truth is
well
the australian philosopher colin leslie dean has shown Godel has no idea what truth is so incompleteness theorem meaningless
en.wikipedia.org/wiki/G%C3%B6del … s_theorems
Gödel’s first incompleteness theorem, states that:
Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic [b]truths[/b], there is an arithmetical statement that is[b] true,[/b][1] but not provable in the theory.
but Godel had no idea of what truth is as peter smith of cambridge admitts
thus his incompleteness theorems is meaningless rubbish
gamahucherpress.yellowgum.com/bo … GODEL5.pdf
mathematician have so much invested in godels incompleteness theorem
much maths is reliant on it but at the time godel wrote his theorem he had no idea of what truth was as peter smith the Cambridge expert on Godel admitts
groups.google.com/group/sci.logi … 12ee69f0a8
Quote:
Gödel didn’t rely on the notion
of truth
but truth is central to his theorem
as peter smith kindly tellls us
assets.cambridge.org/97805218…40_excerpt.pdf
Quote:
Godel did is find a general method that enabled him to take any theory T
strong enough to capture a modest amount of basic arithmetic and
construct a corresponding arithmetical sentence GT which encodes the claim ‘The sentence GT itself is unprovable in theory T’. So G T is true if and only
if T can’t prove it
If we can locate GT
, a Godel sentence for our favourite nicely ax-
iomatized theory of arithmetic T, and can argue that G T is
true -but-unprovable,
MagsJ
(Surya Loka)
November 16, 2008, 6:09am
2
well
the australian philosopher colin leslie dean has shown ladyjane has no idea what truth is so everything ladyjane posts is meaningless