{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:00Z","timestamp":1725487980358},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_75","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T15:16:31Z","timestamp":1185290191000},"page":"705-715","source":"Crossref","is-referenced-by-count":8,"title":["Computability and Incomputability"],"prefix":"10.1007","author":[{"given":"Robert I.","family":"Soare","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"75_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. American J. of Math.\u00a058, 345\u2013363 (1936)","journal-title":"American J. of Math."},{"issue":"1","key":"75_CR2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.2307\/2268808","volume":"2","author":"A. Church","year":"1937","unstructured":"Church, A.: Review of Turing 1936. J. Symbolic Logic\u00a02(1), 42\u201343 (1937)","journal-title":"J. Symbolic Logic"},{"key":"75_CR3","unstructured":"Davis, M.: The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Raven Press, Hewlett, New York (1965)"},{"key":"75_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0019-9958(82)91226-8","volume":"54","author":"M. Davis","year":"1982","unstructured":"Davis, M.: Why G\u00f6del did not have Church\u2019s Thesis. Information and Control\u00a054, 3\u201324 (1982)","journal-title":"Information and Control"},{"key":"75_CR5","doi-asserted-by":"crossref","unstructured":"Gandy, R.: Church\u2019s thesis and principles for mechanisms. In: The Kleene Symposium, North-Holland, pp. 123\u2013148 (1980)","DOI":"10.1016\/S0049-237X(08)71257-6"},{"key":"75_CR6","doi-asserted-by":"crossref","unstructured":"Gandy, R.: The confluence of ideas in 1936. In: Herken, pp. 55\u2013111 (1988)","DOI":"10.1093\/oso\/9780198537748.003.0003"},{"key":"75_CR7","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare s\u00e4tze der Principia Mathematica und verwandter systeme. I, Monatsch. Math. Phys. vol. 38 pp. 173\u2013178 (1931) (English trans. in Davis 1965, pp. 4\u201338, and in van Heijenoort, pp. 592\u2013616 (1967)","DOI":"10.1007\/BF01700692"},{"key":"75_CR8","unstructured":"G\u00f6del, K.: On undecidable propositions of formal mathematical systems, Notes by Kleene, S.C., Rosser, J.B. (eds.) on lectures at the Institute for Advanced Study, Princeton, New Jersey, 30 pp (Reprinted in Davis 1965 [3, 39\u201374] (1934)"},{"key":"75_CR9","unstructured":"G\u00f6del, K.: Undecidable diophantine propositions. In: G\u00f6del, pp. 156\u2013175 (1995)"},{"key":"75_CR10","unstructured":"G\u00f6del, K.: Remarks before the Princeton bicentennial conference of problems in mathematics, Reprinted in: Davis 1965 [3], pp. 84\u201388 (1946)"},{"key":"75_CR11","unstructured":"G\u00f6del, K.: Some basic theorems on the foundations of mathematics and their implications. In: G\u00f6del pp. 304\u2013323 (This was the Gibbs Lecture delivered by G\u00f6del on December 26, 1951 to the Amer. Math. Soc.) (1995)"},{"key":"75_CR12","unstructured":"G\u00f6del, K.: Postscriptum to G\u00f6del 1931, written in 1946, printed in Davis, pp. 71\u201373 (1965)"},{"key":"75_CR13","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Ackermann, W.: Grundz\u00fcge der theoretischen Logik. In (English translation of 1938 edition, Chelsea, New York, 1950), Springer, Berlin (1928)","DOI":"10.1007\/978-3-662-41928-1"},{"key":"75_CR14","unstructured":"Hodges, A.: Alan Turing: The Enigma, Burnett Books and Hutchinson, London, and Simon and Schuster, New York (1983)"},{"key":"75_CR15","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF01565439","volume":"112","author":"S.C. Kleene","year":"1936","unstructured":"Kleene, S.C.: General recursive functions of natural numbers. Math. Ann.\u00a0112, 727\u2013742 (1936)","journal-title":"Math. Ann."},{"key":"75_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1090\/S0002-9947-1943-0007371-8","volume":"53","author":"S.C. Kleene","year":"1943","unstructured":"Kleene, S.C.: Recursive predicates and quantifiers. Trans. A.M.S.\u00a053, 41\u201373 (1943)","journal-title":"Trans. A.M.S."},{"key":"75_CR17","unstructured":"Kleene, S.C.: Introduction to Metamathematics, Van Nostrand, New York. Ninth reprint 1988, Walters-Noordhoff Publishing Co., Groning\u00ebn and North-Holland, Amsterdam (1952)"},{"key":"75_CR18","volume-title":"Mathematical Logic, London, Sydney","author":"S.C. Kleene","year":"1967","unstructured":"Kleene, S.C.: Mathematical Logic, London, Sydney. John Wiley and Sons, Inc, New York (1967)"},{"key":"75_CR19","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MAHC.1981.10004","volume":"3","author":"S.C. Kleene","year":"1981","unstructured":"Kleene, S.C.: Origins of recursive function theory. Annals of the History of Computing\u00a03, 52\u201367 (1981)","journal-title":"Annals of the History of Computing"},{"key":"75_CR20","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1305\/ndjfl\/1093637645","volume":"28","author":"S.C. Kleene","year":"1987","unstructured":"Kleene, S.C.: Reflections on Church\u2019s Thesis. Notre Dame. Journal of Formal Logic\u00a028, 490\u2013498 (1987)","journal-title":"Notre Dame. Journal of Formal Logic"},{"key":"75_CR21","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Turing\u2019s analysis of computability, and major applications of it, In: Herken, pp. 17\u201354 (1988)","DOI":"10.1093\/oso\/9780198537748.003.0002"},{"key":"75_CR22","doi-asserted-by":"publisher","first-page":"379","DOI":"10.2307\/1969708","volume":"59","author":"S.C. Kleene","year":"1954","unstructured":"Kleene, S.C., Post, E.L.: The upper semi-lattice of degrees of recursive unsolvability. Ann. of Math.\u00a059, 379\u2013407 (1954)","journal-title":"Ann. of Math."},{"key":"75_CR23","doi-asserted-by":"crossref","unstructured":"Post, E.L.: Finite combinatory processes\u2013formulation, J. Symbolic Logic vol. 1 pp. 103\u2013105 (1936). Reprinted in Davis, pp. 288\u2013291 (1965)","DOI":"10.2307\/2269031"},{"key":"75_CR24","unstructured":"Post, E.L.: Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. vol. 50, pp. 284\u2013316 (1944). Reprinted in Davis, pp. 304\u2013337 (1965)"},{"key":"75_CR25","doi-asserted-by":"crossref","unstructured":"Sieg, W.: Mechanical procedures and mathematical experience. In: George, A. (ed.) Mathematics and Mind, Oxford Univ. Press, Oxford (1994)","DOI":"10.1093\/oso\/9780195079296.003.0005"},{"key":"75_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets","author":"R.I. Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer, Heidelberg (1987)"},{"key":"75_CR27","doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Computability and recursion. Bulletin of Symbolic Logic\u00a02, 284\u2013321 (1996)","DOI":"10.2307\/420992"},{"key":"75_CR28","doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Extensions, Automorphisms, and Definability, In: Cholak, P., Lempp, S., Lerman, M., Shore, R. (eds.) Computability Theory and its Applications: Current Trends and Open Problems, American Mathematical Society, Contemporary Math. #257, American Mathematical Society, Providence, RI, pps. 279\u2013307 (2000)","DOI":"10.1090\/conm\/257\/04042"},{"key":"75_CR29","unstructured":"Soare, R.I.: Computability Theory and Applications, Springer-Verlag, Heidelberg (to appear)"},{"key":"75_CR30","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. In: Proc. London Math. Soc. ser. 2 vol. 42 (Parts 3 and 4) pp. 230\u2013265 (1936) [Turing, 1937] A correction, ibid. vol. 43, pp. 544\u2013546 (1937)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"75_CR31","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: Systems of logic based on ordinals. In: Proc. London Math. Soc. vol. 45 Part 3 pp. 161\u2013228 (1939) reprinted in Davis, pp. 154\u2013222 (1965)","DOI":"10.1112\/plms\/s2-45.1.161"},{"issue":"6","key":"75_CR32","doi-asserted-by":"publisher","first-page":"483","DOI":"10.2307\/2974762","volume":"102","author":"S.L. Zabell","year":"1995","unstructured":"Zabell, S.L.: Alan Turing and the Central Limit Theorem. American Mathematical Monthly\u00a0102(6), 483\u2013494 (1995)","journal-title":"American Mathematical Monthly"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T01:16:28Z","timestamp":1708132588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}