home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 13048 < prev    next >
Encoding:
Internet Message Format  |  1992-10-12  |  1.3 KB
  1. Path: sparky!uunet!think.com!ames!agate!usenet.ins.cwru.edu!po.CWRU.Edu!cxm7
  2. From: cxm7@po.CWRU.Edu (Colin Mclarty)
  3. Newsgroups: sci.math
  4. Subject: Re: help with recursive functions
  5. Date: 12 Oct 1992 14:47:26 GMT
  6. Organization: Case Western Reserve University, Cleveland, OH (USA)
  7. Lines: 22
  8. Message-ID: <1bc35uINN4kn@usenet.INS.CWRU.Edu>
  9. References: <1b074cINN4fu@usenet.INS.CWRU.Edu>
  10. Reply-To: cxm7@po.CWRU.Edu (Colin Mclarty)
  11. NNTP-Posting-Host: slc5.ins.cwru.edu
  12.  
  13.  
  14. In a previous article, cxm7@po.CWRU.Edu (Colin Mclarty) says:
  15.  
  16. >
  17. >    I'd like some help with partial recursive functions which
  18. >do not extend to (total) recursive ones.  I can prove there is no
  19. >effective routine for extending all partials to total recursive
  20. >functions, but I do not see how to prove there are particular
  21. >partial recursive functions that do not extend to recursive.  Are
  22. >there typical methods from proving this in particular cases?
  23. >
  24. >Colin McLarty
  25. >
  26.     Thanks to the people who pointed out the easy example.  
  27. But are there more general ways of finding partials that do not 
  28. extend to total recursive functions?
  29.  
  30.     More generally, for subsets A and B of the naturals, with
  31. A containing B, what is known about extending partial recursive 
  32. functions defined on A to ones defined on B?  And what if the 
  33. extension is required to take values in the image of the original
  34. p.r. function?   
  35.