home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 12880 < prev    next >
Encoding:
Internet Message Format  |  1992-10-07  |  804 b 
  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: help with recursive functions
  5. Date: 8 Oct 1992 02:41:16 GMT
  6. Organization: Case Western Reserve University, Cleveland, OH (USA)
  7. Lines: 9
  8. Message-ID: <1b074cINN4fu@usenet.INS.CWRU.Edu>
  9. Reply-To: cxm7@po.CWRU.Edu (Colin Mclarty)
  10. NNTP-Posting-Host: slc5.ins.cwru.edu
  11.  
  12.  
  13.     I'd like some help with partial recursive functions which
  14. do not extend to (total) recursive ones.  I can prove there is no
  15. effective routine for extending all partials to total recursive
  16. functions, but I do not see how to prove there are particular
  17. partial recursive functions that do not extend to recursive.  Are
  18. there typical methods from proving this in particular cases?
  19.  
  20. Colin McLarty
  21.