> On 11 Jun 2020, at 00:31, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > What does "general recursion" mean? Is recursion in LISP not "general”?
This is an abandoned expression for partial recursive function (they are the programmable function, total or not). It is the phi_i. Gödel use “recursive function” for what we call now “primitive recursive function”, which is a subset of total computable function, which when closed for the MU operator gives all partial computable function. I almost never use the “primitive recursive function”, here. I did it when I showed the Turing completes of the combinators, though. The primitive recursive functions can be replaced by much elementary functions (Smullyan did that), or even by diophantine polynomial relations (but that is rather long to prove, and not so easy). Bruno > > Brent > > On 6/10/2020 12:08 PM, Philip Thrift wrote: >> >> >> We propose a full-spectrum dependently typed programming language, Zombie, >> which supports general recursion natively. ... Zombie also features an >> optional termination-checker, allowing nonterminating programs returning >> proofs as well as external proofs about programs. >> >> Vilhelm Sjöberg - https://www.cs.yale.edu/homes/vilhelm/ >> <https://www.cs.yale.edu/homes/vilhelm/> >> Stephanie Weirich - https://www.seas.upenn.edu/~sweirich/ >> <https://www.seas.upenn.edu/~sweirich/> >> >> https://www.cis.upenn.edu/~sweirich/papers/sjoberg-thesis.pdf >> <https://www.cis.upenn.edu/~sweirich/papers/sjoberg-thesis.pdf> >> >> @philipthrift >> -- >> You received this message because you are subscribed to the Google Groups >> "Everything List" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] >> <mailto:[email protected]>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/everything-list/f547910f-4e56-45a1-b7ff-eaa05b7f2f30o%40googlegroups.com >> >> <https://groups.google.com/d/msgid/everything-list/f547910f-4e56-45a1-b7ff-eaa05b7f2f30o%40googlegroups.com?utm_medium=email&utm_source=footer>. > > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/4cc42076-4927-b8da-e0e9-2f62d73a3676%40verizon.net > > <https://groups.google.com/d/msgid/everything-list/4cc42076-4927-b8da-e0e9-2f62d73a3676%40verizon.net?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/788FFCE5-FF6B-4A00-B783-D13DD700122F%40ulb.ac.be.
