Publisher
Springer International Publishing
Reference39 articles.
1. Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58, 345–363 (1936)
2. Davis, M., Sieg, W.: Conceptual confluence in 1936: Post and Turing. In: Sommaruga, G., Strahm, T. (eds.) Turing’s Revolution, pp. 3–27. Birkhäuser, Basel (2015)
3. Dedekind, R.: Was sind und was sollen die Zahlen?. Vieweg, Braunschweig (1888)
4. DePisapia, N.: Gandy machines: an abstract model of parallel computation for Turing machines, the game of life, and artificial neural networks. Master’s thesis, Carnegie Mellon University (2000)
5. Dershowitz, N., Gurevich, Y.: A natural axiomatization of computability and proof of Church’s thesis. Bull. Symb. Log. 14, 299–350 (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献