Re: Godel's theorem is invalid?

george wrote:
> sradhakr wrote:

> > The issue here is whether one
> > can meaningfully talk of "truths" that are *in principle* unknowable.
>
> I don't know that anyone has ever alleged the existence of
> such a truth. Truths that are in principle unprovable in PA or
> ZFC are always going to be provable in some stronger system.
> So if knowledge is being linked to provability then there simply
> ARE NO truths that are "in principle unknowable".

"George does not believe this." is true but you'll never know it. (I
know it, however.)

"Nobody believes this." is true and nobody will ever know it.

So there!

C-B

.

Relevant Pages

  • Re: Lets hear it for manliness?
    ... His answer applied directly to Iraq. ... He said "Nobody wants war". ... George Z ...
    (soc.retirement)
  • Re: Anybody Wanna Whore For The Holidays?
    ... George W.B. wrote: ... > How does it feel to have a dead mother? ... May the record show that you have stooped to levels that nobody should ... fight a battle that you can't win. ...
    (rec.sport.billiard)
  • Re: OT - Obamas speech to school students
    ... And I'll repeat what I said. ... Nobody got their panties in a twist when ... George I did the same thing including the letter comment, ...
    (alt.support.diabetes)
  • Re: OT - Obamas speech to school students
    ... And I'll repeat what I said. ... Nobody got their panties in a twist when ... George I did the same thing including the letter comment, ...
    (alt.support.diabetes)
  • Re: Lets hear it for manliness?
    ... His answer applied directly to Iraq. ... He said "Nobody wants war". ... George Z ...
    (soc.retirement)