A variant of a recursively unsolvable problem
Open Access
- 1 January 1946
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 52 (4) , 264-268
- https://doi.org/10.1090/s0002-9904-1946-08555-9
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 4 references indexed in Scilit:
- Step by Recursive Step: Church's Analysis of Effective CalculabilityBulletin of Symbolic Logic, 1997
- Recursively enumerable sets of positive integers and their decision problemsBulletin of the American Mathematical Society, 1944
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936