Re: Am I a crank?
- From: Lester Zick <dontbother@xxxxxxxxxxx>
- Date: Thu, 31 Aug 2006 13:02:17 -0700
On 31 Aug 2006 10:54:03 -0700, "MoeBlee" <jazzmobe@xxxxxxxxxxx> wrote:
schoenfeld.one@xxxxxxxxx wrote:
Definitions can be false too (i.e. "Let x be an even odd").
That's not a definition. That's just a rendering of an open formula
whose existential closure is not a member of such theories as PA.
Which really clears things up for us, Moe.
~v~~
.
- References:
- Re: Am I a crank?
- From: Han de Bruijn
- Re: Am I a crank?
- From: schoenfeld . one
- Re: Am I a crank?
- From: Han de Bruijn
- Re: Am I a crank?
- From: schoenfeld . one
- Re: Am I a crank?
- From: Han de Bruijn
- Re: Am I a crank?
- From: schoenfeld . one
- Re: Am I a crank?
- From: Lester Zick
- Re: Am I a crank?
- From: schoenfeld . one
- Re: Am I a crank?
- From: MoeBlee
- Re: Am I a crank?
- Prev by Date: Re: Am I a crank?
- Next by Date: Re: Am I a crank?
- Previous by thread: Re: Am I a crank?
- Next by thread: Re: Am I a crank?
- Index(es):