The Present Theory of Turing Machine Computability
- 1 March 1959
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in Journal of the Society for Industrial and Applied Mathematics
- Vol. 7 (1) , 114-130
- https://doi.org/10.1137/0107009
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Gödel numberings of partial recursive functionsThe Journal of Symbolic Logic, 1958
- On definable sets of positive integersFundamenta Mathematicae, 1947
- Recursively enumerable sets of positive integers and their decision problemsBulletin of the American Mathematical Society, 1944
- Recursive predicates and quantifiersTransactions of the American Mathematical Society, 1943