Partial recursive functions and minimization
- From: Twoflower <standa.kurik@xxxxxxxxx>
- Date: Sat, 22 Dec 2007 02:29:09 -0800 (PST)
Hi all,
let's have partial recursive function F, which is not recursive. I
don't understand, why
G(x) = Min(y) (F(x,y) = 0)
(where Min(y) is just minimization operator or unrestricted mu-
recursion)
is not partial recursive function.
Could someone please explain this to me?
Thank you very much.
.
- Follow-Ups:
- Re: Partial recursive functions and minimization
- From: John Coleman
- Re: Partial recursive functions and minimization
- From: glenn
- Re: Partial recursive functions and minimization
- From: hagman
- Re: Partial recursive functions and minimization
- Prev by Date: Re: Example of a quotient map that is neither closed nor open
- Next by Date: Re: !!! TO WHOM IT MAY CONCERN !!!
- Previous by thread: Linear and logorithmic distributions
- Next by thread: Re: Partial recursive functions and minimization
- Index(es):