Prev: formal name to these filings geometry? Chapt 11, Space is EM; magnet & iron filings Experiment #112; ATOM TOTALITY
Next: angle-of-slant of superclusters and walls resembles magnetic filings slant Chapt 11, Space is EM; magnet & iron filings Experiment #113; ATOM TOTALITY
From: melsi on 26 May 2010 22:29
it is shown by colin leslie dean that Godels theorem ends in paradox

it is said godel PROVED
"there are mathematical true statements which cant be proven"
in other words
truth does not equate with proof.

if that theorem is true
then his theorem is false

PROOF
for if the theorem is true
then truth does equate with proof- as he has given proof of a true
statement
but his theorem says
truth does not equate with proof.
thus a paradox
From: William Hughes on 27 May 2010 02:44
On May 27, 2:16 am, byron <spermato...(a)yahoo.com> wrote:
> it is shown by colin leslie dean that Godels theorem ends in paradox
>
> it is said godel PROVED
> "there are mathematical true statements which cant be proven"
> in other words
> truth does not equate with proof.
>
> if that theorem is true
> then his theorem is false
>
> PROOF
> for if the theorem is true
> then truth does equate with proof- as he has given proof of a true
> statement
> but his theorem says
> truth does not equate with proof.
> thus a paradox

Nope. Goedel showed

Truth does not equate with derivation

He gave a derivation of

G: G does not have a derivation,

He argued that G is true, but did not give a derivation
of the fact. No paradox

-William Hughes
From: byron on 27 May 2010 03:42
On May 27, 4:44 pm, William Hughes <wpihug...(a)hotmail.com> wrote:
> On May 27, 2:16 am, byron <spermato...(a)yahoo.com> wrote:
>
>
>
> > it is shown by colin leslie dean that Godels theorem ends in paradox
>
> > it is said godel PROVED
> > "there are mathematical true statements which cant be proven"
> > in other words
> > truth does not equate with proof.
>
> > if that theorem is true
> > then his theorem is false
>
> > PROOF
> > for if the theorem is true
> > then truth does equate with proof- as he has given proof of a true
> > statement
> > but his theorem says
> > truth does not equate with proof.
> > thus a paradox
>
> Nope.  Goedel showed
>
>      Truth does not equate with derivation
>
> He gave a derivation of
>
>      G: G does not have a derivation,
>
> He argued that G is true, but did not give a derivation
> of the fact.  No paradox
>
>                -William Hughes

ou say

Nope. Goedel showed

Truth does not equate with derivation

wrong
godels theorem is about proof
ie there are true mathematical which cant be proven
note the word is proven
not derivation
From: byron on 27 May 2010 03:48
On May 27, 5:42 pm, byron <spermato...(a)yahoo.com> wrote:
> On May 27, 4:44 pm, William Hughes <wpihug...(a)hotmail.com> wrote:
>
>
>
> > On May 27, 2:16 am, byron <spermato...(a)yahoo.com> wrote:
>
> > > it is shown by colin leslie dean that Godels theorem ends in paradox
>
> > > it is said godel PROVED
> > > "there are mathematical true statements which cant be proven"
> > > in other words
> > > truth does not equate with proof.
>
> > > if that theorem is true
> > > then his theorem is false
>
> > > PROOF
> > > for if the theorem is true
> > > then truth does equate with proof- as he has given proof of a true
> > > statement
> > > but his theorem says
> > > truth does not equate with proof.
> > > thus a paradox
>
> > Nope.  Goedel showed
>
> >      Truth does not equate with derivation
>
> > He gave a derivation of
>
> >      G: G does not have a derivation,
>
> > He argued that G is true, but did not give a derivation
> > of the fact.  No paradox
>
> >                -William Hughes
>
> ou say
>
> Nope. Goedel showed
>
> Truth does not equate with derivation
>
> wrong
> godels theorem is about proof
> ie there are true mathematical which cant be proven
> note the word is proven
> not derivation

ou say

Nope. Goedel showed

Truth does not equate with derivation

wrong
godels theorem is about proof
ie there are true mathematical which cant be proven
note the word is proven
not derivation

this is the word version of his theorem
note it talks about true statements which cant be proven--not
derivation


http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#First_incompleteness_theorem
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 truths, there is an arithmetical statement
that is true,[1] but not provable in the theory (Kleene 1967, p.
250).

thus
it is shown by colin leslie dean that Godels theorem ends in paradox
>
> it is said godel PROVED
> "there are mathematical true statements which cant be proven"
> in other words
> truth does not equate with proof.
>
> if that theorem is true
> then his theorem is false
>
> PROOF
> for if the theorem is true
> then truth does equate with proof- as he has given proof of a true
> statement
> but his theorem says
> truth does not equate with proof.
> thus a paradox
From: melsi on 26 May 2010 23:40
you say

Nope. Goedel showed

Truth does not equate with derivation

wrong
godels theorem is about proof
ie there are true mathematical which cant be proven
note the word is proven
not derivation
 |  Next  |  Last
Pages: 1 2 3
Prev: formal name to these filings geometry? Chapt 11, Space is EM; magnet & iron filings Experiment #112; ATOM TOTALITY
Next: angle-of-slant of superclusters and walls resembles magnetic filings slant Chapt 11, Space is EM; magnet & iron filings Experiment #113; ATOM TOTALITY