On universal functions
HTML articles powered by AMS MathViewer
- by Hartley Rogers PDF
- Proc. Amer. Math. Soc. 16 (1965), 39-44 Request permission
References
- M. D. Davis, A note on universal Turing machines, Automata studies, Annals of Mathematics Studies, no. 34, Princeton University Press, Princeton, N.J., 1956, pp. 167–175. MR 0079547
- Martin Davis, The definition of universal Turing machine, Proc. Amer. Math. Soc. 8 (1957), 1125–1126. MR 95781, DOI 10.1090/S0002-9939-1957-0095781-8
- Hartley Rogers Jr., Gödel numberings of partial recursive functions, J. Symbolic Logic 23 (1958), 331–341. MR 103821, DOI 10.2307/2964292
Additional Information
- © Copyright 1965 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 16 (1965), 39-44
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1965-0171705-4
- MathSciNet review: 0171705