Publisher
Springer International Publishing
Reference73 articles.
1. R.O. Gandy, The confluence of ideas in 1936, in The Universal Turing Machine. A Half-Century Survey, ed. by R. Herken (Oxford University Press, Oxford, 1988), pp. 55–111
2. R.I. Soare, The history and concept of computability, in Handbook of Computability Theory, ed. by E. Griffor (Elsevier, Amsterdam, 1999), pp. 3–36
3. A. Turing, On computable numbers, with an application to the Entscheidungsproblem, in Proceedings of the London Mathematical Society. Series 2, vol. 42 (1936–1937), pp. 230–265; a correction, ibid. 43, 544–546
4. A. Church, An unsolvable problem of elementary number theory. Am. J. Math. 58, 345–363 (1936)
5. R.I. Soare, Computability and recursion. Bull. Symb. Log. 2, 284–321 (1996)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献