Re: what makes it true?
- From: Esa A E Peuha <esa.peuha@xxxxxxxxxxx>
- Date: 07 Sep 2005 16:37:17 +0300
Torkel Franzen <torkel@xxxxxxxxxx> writes:
> Esa A E Peuha <esa.peuha@xxxxxxxxxxx> writes:
>
>
> > Yes. It is also provable in PA that "if GC is true then GC is provable
> > in PA" (by Gödel's completeness theorem).
>
> Well, no.
Why not?
--
Esa Peuha
student of mathematics at the University of Helsinki
http://www.helsinki.fi/~peuha/
.
- Follow-Ups:
- Re: what makes it true?
- From: Torkel Franzen
- Re: what makes it true?
- References:
- what makes it true?
- From: lhlhsand
- Re: what makes it true?
- From: Timothy Little
- Re: what makes it true?
- From:
- Re: what makes it true?
- From: Timothy Little
- Re: what makes it true?
- From:
- Re: what makes it true?
- From: Timothy Little
- Re: what makes it true?
- From: Torkel Franzen
- Re: what makes it true?
- From: Timothy Little
- Re: what makes it true?
- From: Torkel Franzen
- Re: what makes it true?
- From: Esa A E Peuha
- Re: what makes it true?
- From: Torkel Franzen
- Re: what makes it true?
- From: Esa A E Peuha
- Re: what makes it true?
- From: Torkel Franzen
- what makes it true?
- Prev by Date: Re: what makes it true?
- Next by Date: Re: Snake lemma-Five lemma
- Previous by thread: Re: what makes it true?
- Next by thread: Re: what makes it true?
- Index(es):
Relevant Pages
|
