Re: Logic an N.
From: George Cox (george_coxanti_at_spambtinternet.com.invalid)
Date: 10/20/04
- Next message: Leonard Blackburn: "Re: (Not quite) Cantor's diagonal proof"
- Previous message: Jan Murray: "CFP: Call for Tutorial/Workshop Proposals -- KI 2005"
- In reply to: Antonio Espejo: "Re: Logic an N."
- Next in thread: George Cox: "Re: Logic an N."
- Reply: George Cox: "Re: Logic an N."
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 20 Oct 2004 17:35:47 +0000 (UTC)
Antonio Espejo wrote:
>
> George Cox <george_coxanti@spambtinternet.com.invalid> wrote in message news:<417579E3.63BA5902@spambtinternet.com.invalid>...
> > Antonio Espejo wrote:
> > >
> > > George Cox <george_coxanti@spambtinternet.com.invalid> wrote in message news:<41740A2C.9EF259EA@spambtinternet.com.invalid>...
> > > > Antonio Espejo wrote:
> > > > >
> > > > > George Cox <george_coxanti@spambtinternet.com.invalid> wrote in message news:<41728674.AE700E2F@spambtinternet.com.invalid>...
> > > > > > Antonio Espejo wrote:
> > > > > > >
> > > > > > > Isn't Logic part of number theory?
> > > > > >
> > > > > > The meta-theory looks like it doesn't it?
> > > > >
> > > > > The meta-theory of what?
> > > >
> > > > Logic.
> > >
> > > The meta-theory of Logic? What is that?
> >
> > Mathematics used in the study of logic. Proofs/disproofs of
> > completeness, soundness, decidability. And uch else besides.
>
> What is the study of the logic? I thought Logic was a study itself.
>
> Proofs /disproofs of completeness, soundness, decidability are issues
> of Logic not of meta-Logic.
Read any text book on the subject.
- Next message: Leonard Blackburn: "Re: (Not quite) Cantor's diagonal proof"
- Previous message: Jan Murray: "CFP: Call for Tutorial/Workshop Proposals -- KI 2005"
- In reply to: Antonio Espejo: "Re: Logic an N."
- Next in thread: George Cox: "Re: Logic an N."
- Reply: George Cox: "Re: Logic an N."
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
