Re: Goldbach Conjecture & the Foundation of First Order Logic.
- From: "MoeBlee" <jazzmobe@xxxxxxxxxxx>
- Date: 27 Sep 2006 06:33:06 -0700
Peter_Smith wrote:
As Torkel was fond of pointing
out, you define truth in PA without mentioning models by a straight
recursive definition.
Would you give that definition?
Thanks,
MoeBlee
.
- Follow-Ups:
- Re: Goldbach Conjecture & the Foundation of First Order Logic.
- From: Peter_Smith
- Re: Goldbach Conjecture & the Foundation of First Order Logic.
- References:
- Goldbach Conjecture & the Foundation of First Order Logic.
- From: Nam Nguyen
- Re: Goldbach Conjecture & the Foundation of First Order Logic.
- From: Barb Knox
- Re: Goldbach Conjecture & the Foundation of First Order Logic.
- From: Nam Nguyen
- Re: Goldbach Conjecture & the Foundation of First Order Logic.
- From: Peter_Smith
- Goldbach Conjecture & the Foundation of First Order Logic.
- Prev by Date: Re: The Tractatus and Logic today
- Next by Date: Re: Goldbach Conjecture & the Foundation of First Order Logic.
- Previous by thread: Re: Goldbach Conjecture & the Foundation of First Order Logic.
- Next by thread: Re: Goldbach Conjecture & the Foundation of First Order Logic.
- Index(es):
