Re: Best ways to Godel number the recursives?

Thank you very kindly Dr. Enderton. This must be the nth time you've
helped me, I am deeply in your debt and very greatly appreciate how you
freely share your vast wisdom on this newsgroup.

Snis Pilbor

H. Enderton wrote:
> Snis Pilbor <snispilbor@xxxxxxxxx> wrote:
> > I am trying to explicitly (not using Church Thesis) cook up a
> >"universal recursive function". ...
> > Any good literature references?
>
> Martin Davis and Elaine Weyuker
> "Computability, Complexity, and Languages"
> page 58 in the first edition
> page 73 in the second edition
>
> They give a one-page universal program. (Sure, it uses
> various macros previously constructed.) Explicit.
> Needless to say, the universal function is a partial function.
>
> --Herb Enderton

.