sci.logic
[Top] [All Lists]

Re: Need help constructing ADD function from PA

Subject: Re: Need help constructing ADD function from PA
From: "george"
Date: 30 Oct 2006 15:19:12 -0800
Newsgroups: sci.logic
> In article <6_CNg.30668$iJ1.19984@xxxxxxxxxxxx>,
>  "Dan Christensen" <dchris@xxxxxxxxxxxxx> wrote:
> > The key seems to be selecting a suitable subset of N^3. I have tried several
> > that seemed "reasonable" but ultimately led to dead-ends -- I couldn't even
> > prove they were functions. Any suggestions would be appreciated.
> >
> > Dan
>


Ken Pledger wrote:
>       For the last three months I've been too busy to look at news
> groups, but you may still like this belated reply.
>
>       The exact proof you want is in Landau, "Foundations of Analysis,"
> Theorem 4.  Landau himself had a struggle with this proof, as he
> explains in his Preface for the Teacher.

For some strange reason, this thread concluded with an answer
in September, only to see the question re-raised in a similarly-
titled thread in October.  I am just trying to get the threads
re-unified.


<Prev in Thread] Current Thread [Next in Thread>
  • Re: Need help constructing ADD function from PA, george <=
Privacy Policy