|
|
Dan Christensen wrote:
> I want to prove the existence an add function such that
> add(x,1)=next(x) and add(x,next(y))=next(add(x,y)), where next(x) is
> the successor of x as defined in PA.
>
> The key, of course, is to choose the right subset of N^3 for add. Can
> anyone suggest what selection criteria I might use? I have tried
> several now without any success.
In the other thread with this same title (the one from September),
you claimed to have solved this. Ken Pledger recently posted to
that one with a solution that seems to match the one you gave then.
So how did you come to be needing a solution again in this thread
(the one from October)?
|
|