{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:17:49Z","timestamp":1743049069016,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587400"},{"type":"electronic","value":"9783319587417"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58741-7_5","type":"book-chapter","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T16:59:28Z","timestamp":1494521968000},"page":"42-49","source":"Crossref","is-referenced-by-count":0,"title":["G\u00f6del\u2019s Reception of Turing\u2019s Model of Computability: The \u201cShift of Perception\u201d in 1934"],"prefix":"10.1007","author":[{"given":"Juliette","family":"Kennedy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Gandy, R.: The confluence of ideas in 1936. In: The universal turing machine: A half-century survey, pp. 55\u2013111. Oxford Science Publications, Oxford University Press, New York (1988)","DOI":"10.1093\/oso\/9780198537748.003.0003"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Kripke, S.: The church-turing \u201cThesis\u201d as a special corollary of g\u00f6del\u2019s completeness theorem. In: Copeland, B.J., Posy, C.J., Shagrir, O. (eds.) Computability: G\u00f6del, Church, and Beyond. MIT Press, Cambridge (2013)","DOI":"10.7551\/mitpress\/8009.003.0005"},{"key":"5_CR3","volume-title":"Hilbert\u2019s Programs and Beyond","author":"W Sieg","year":"2013","unstructured":"Sieg, W.: Hilbert\u2019s Programs and Beyond. Oxford University Press, Oxford (2013)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Kennedy, J.: Turing, G\u00f6del and the \u201cBright Abyss\u201d. In: Philosophical Explorations of the Legacy of Alan Turing, vol. 324 of Boston Studies in Philosophy (Springer)","DOI":"10.1007\/978-3-319-53280-6_3"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, 173\u2013198 (1931)","journal-title":"Monatsh. Math. Phys."},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","volume":"33","author":"A Church","year":"1932","unstructured":"Church, A.: A set of postulates for the foundation of logic I, II. Ann. Math. 33(2), 346\u2013366 (1932)","journal-title":"Ann. Math."},{"issue":"2","key":"5_CR7","doi-asserted-by":"crossref","first-page":"630","DOI":"10.2307\/1968646","volume":"36","author":"SC Kleene","year":"1935","unstructured":"Kleene, S.C., Rosser, J.B.: The inconsistency of certain formal logics. Ann. Math. 36(2), 630\u2013636 (1935)","journal-title":"Ann. Math."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"356","DOI":"10.2307\/2301551","volume":"41","author":"A Church","year":"1934","unstructured":"Church, A.: The richard paradox. Amer. Math. Monthly 41, 356\u2013361 (1934)","journal-title":"Amer. Math. Monthly"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MAHC.1981.10004","volume":"3","author":"SC Kleene","year":"1981","unstructured":"Kleene, S.C.: Origins of recursive function theory. Ann. Hist. Comput. 3, 52\u201367 (1981)","journal-title":"Ann. Hist. Comput."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1090\/S0002-9947-1943-0007371-8","volume":"53","author":"SC Kleene","year":"1943","unstructured":"Kleene, S.C.: Recursive predicates and quantifiers. Trans. Am. Math. Soc. 53, 41\u201373 (1943)","journal-title":"Trans. Am. Math. Soc."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0019-9958(82)91226-8","volume":"54","author":"M Davis","year":"1982","unstructured":"Davis, M.: Why G\u00f6del didn\u2019t have church\u2019s thesis. Inf. Control 54, 3\u201324 (1982)","journal-title":"Inf. Control"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/421012","volume":"3","author":"W Sieg","year":"1997","unstructured":"Sieg, W.: Step by recursive step: Church\u2019s analysis of effective calculability. Bull. Symbolic Log. 3, 154\u2013180 (1997)","journal-title":"Bull. Symbolic Log."},{"issue":"1","key":"5_CR13","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/2269326","volume":"1","author":"A Church","year":"1936","unstructured":"Church, A.: A note on the Entscheidungsproblem. J. Symbolic Log. 1(1), 40\u201341 (1936). (Correction 1:101\u2013102)","journal-title":"J. Symbolic Log."},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-0-387-68546-5_7","volume-title":"New Computational Paradigms","author":"W Sieg","year":"2008","unstructured":"Sieg, W.: Church without dogma: Axioms for computability. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) New Computational Paradigms, pp. 139\u2013152. Springer, New York (2008)"},{"key":"5_CR15","unstructured":"G\u00f6del, K.: Collected works. Vol. I. The University Press, New York (1986). Publications 1929\u20131936, Edited and with a preface by Solomon Feferman. Clarendon Press, Oxford"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Sieg, W.: On computability. In: Philosophy of Mathematics. Handbook of the Philosophy of Science, pp. 535\u2013630. Elsevier\/North-Holland, Amsterdam (2009)","DOI":"10.1016\/B978-0-444-51555-1.50017-1"},{"issue":"3","key":"5_CR17","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/philmat\/nkj005","volume":"14","author":"W Sieg","year":"2006","unstructured":"Sieg, W.: G\u00f6del on computability. Philos. Math. 14(3), 189\u2013207 (2006)","journal-title":"Philos. Math."},{"key":"5_CR18","series-title":"Representation and Mind","volume-title":"A Logical Journey","author":"H Wang","year":"1996","unstructured":"Wang, H.: A Logical Journey. Representation and Mind. MIT Press, Cambridge (1996)"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","volume":"50","author":"EL Post","year":"1944","unstructured":"Post, E.L.: Recursively enumerable sets of positive integers and their decision problems. Bull. Am. Math. Soc. 50, 284\u2013316 (1944)","journal-title":"Bull. Am. Math. Soc."},{"key":"5_CR20","unstructured":"G\u00f6del, K.: Collected Works. V: Correspondence H-Z. Oxford University Press, Oxford (2003). Feferman, S., et al. (eds.)"}],"container-title":["Lecture Notes in Computer Science","Unveiling Dynamics and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58741-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T02:14:11Z","timestamp":1719195251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58741-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587400","9783319587417"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58741-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}