{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T07:12:13Z","timestamp":1780384333264,"version":"3.54.1"},"reference-count":114,"publisher":"Elsevier","isbn-type":[{"value":"9780444898821","type":"print"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s0049-237x(99)80017-2","type":"book-chapter","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T16:52:47Z","timestamp":1189183967000},"page":"3-36","source":"Crossref","is-referenced-by-count":19,"title":["The History and Concept of Computability"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S0049-237X(99)80017-2_bib1","author":"Boolos","year":"1974"},{"key":"10.1016\/S0049-237X(99)80017-2_bib2","first-page":"332","article-title":"An unsolvable problem of elementary number theory, Preliminary report (abstract)","volume":"41","author":"Church","year":"1935","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","article-title":"An unsolvable problem of elementary number theory, Amer","volume":"58","author":"Church","year":"1936","journal-title":"J. Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib4","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/2269326","article-title":"A note on the Entscheidungsproblem","volume":"1","author":"Church","year":"1936","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"10.1016\/S0049-237X(99)80017-2_bib5","doi-asserted-by":"crossref","first-page":"42","DOI":"10.2307\/2268808","article-title":"Review of Turing [1936]","volume":"2","author":"Church","year":"1937","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"10.1016\/S0049-237X(99)80017-2_bib6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2268812","article-title":"Review of Post [1936]","volume":"2","author":"Church","year":"1937","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib7","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1090\/S0002-9904-1938-06720-1","article-title":"The constructive second number class","volume":"44","author":"Church","year":"1938","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib8","doi-asserted-by":"crossref","first-page":"11","DOI":"10.4064\/fm-28-1-11-21","article-title":"Formal definitions in the theory of ordinal numbers","volume":"28","author":"Church","year":"1936","journal-title":"Fund. Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib9","author":"Cutland","year":"1980"},{"key":"10.1016\/S0049-237X(99)80017-2_bib10","author":"Davis","year":"1958"},{"key":"10.1016\/S0049-237X(99)80017-2_bib11","author":"Davis","year":"1965"},{"key":"10.1016\/S0049-237X(99)80017-2_bib12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0019-9958(82)91226-8","article-title":"Why G\u00f6del did not have Church's Thesis","volume":"54","author":"Davis","year":"1982","journal-title":"Information and Control"},{"key":"10.1016\/S0049-237X(99)80017-2_bib13","first-page":"149","article-title":"Mathematical logic and the origin of modern computers","author":"Davis","year":"1988"},{"key":"10.1016\/S0049-237X(99)80017-2_bib14","article-title":"Stetigkeit und irrational Zahlen","volume":"Vol. III","author":"Dedekind","year":"1872"},{"key":"10.1016\/S0049-237X(99)80017-2_bib15","first-page":"335","article-title":"Was sind und was sollen die Zahlen?","volume":"Vol. III","author":"Dedekind","year":"1888"},{"key":"10.1016\/S0049-237X(99)80017-2_bib16","author":"Epstein","year":"1989"},{"key":"10.1016\/S0049-237X(99)80017-2_bib17","first-page":"113","article-title":"Turing in the land of O(z)","author":"Feferman","year":"1988","journal-title":"Herken"},{"key":"10.1016\/S0049-237X(99)80017-2_bib18","first-page":"314","article-title":"Turing's \u201cOracle\u201d: From absolute to relative computability \u2014 and back","author":"Feferman","year":"1992"},{"key":"10.1016\/S0049-237X(99)80017-2_bib19","author":"Fitting","year":"1987"},{"key":"10.1016\/S0049-237X(99)80017-2_bib20","first-page":"123","article-title":"Church's thesis and principles for mechanisms","author":"Gandy","year":"1980"},{"key":"10.1016\/S0049-237X(99)80017-2_bib21","first-page":"55","article-title":"The confluence of ideas in 1936","author":"Gandy","year":"1988"},{"key":"10.1016\/S0049-237X(99)80017-2_bib22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare s\u00e4tze der Principia Mathematica und verwandter systeme. I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0049-237X(99)80017-2_bib23","author":"G\u00f6del","year":"1934","journal-title":"On undecidable propositions of formal mathematical systems"},{"key":"10.1016\/S0049-237X(99)80017-2_bib24","first-page":"397","article-title":"On the length of proofs","author":"G\u00f6del","year":"1936"},{"key":"10.1016\/S0049-237X(99)80017-2_bib25","first-page":"156","article-title":"Undecidable diophantine propositions","author":"G\u00f6del","year":"1995"},{"key":"10.1016\/S0049-237X(99)80017-2_bib26","first-page":"84","article-title":"Remarks before the Princeton bicentennial conference of problems in mathematics","author":"G\u00f6del","year":"1946"},{"key":"10.1016\/S0049-237X(99)80017-2_bib27","first-page":"304","article-title":"Some basic theorems on the foundations of mathematics and their implications","author":"G\u00f6del","year":"1951"},{"key":"10.1016\/S0049-237X(99)80017-2_bib28","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","article-title":"\u00dcber eine bisher noch nicht ben\u00fctze Erweiterung des finiten Standpunktes","volume":"12","author":"G\u00f6del","year":"1958","journal-title":"Dialectica"},{"key":"10.1016\/S0049-237X(99)80017-2_bib29","first-page":"71","article-title":"Postscriptum to G\u00f6del [1931], written in 1946","author":"G\u00f6del","year":"19311965"},{"key":"10.1016\/S0049-237X(99)80017-2_bib30","first-page":"305","article-title":"Some remarks on the undecidability results (written in 1972)","author":"G\u00f6del","year":"1972"},{"key":"10.1016\/S0049-237X(99)80017-2_bib31","author":"G\u00f6del","year":"1986"},{"key":"10.1016\/S0049-237X(99)80017-2_bib32","author":"G\u00f6del","year":"1990"},{"key":"10.1016\/S0049-237X(99)80017-2_bib33","author":"G\u00f6del","year":"1995"},{"key":"10.1016\/S0049-237X(99)80017-2_bib34","doi-asserted-by":"crossref","first-page":"199","DOI":"10.2307\/421110","article-title":"Definability, automorphisms, and dynamic properties of computably enumerable sets","volume":"2","author":"Harrington","year":"1996","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib35","author":"Herken","year":"1988"},{"key":"10.1016\/S0049-237X(99)80017-2_bib36","author":"Hilbert","year":"1899"},{"key":"10.1016\/S0049-237X(99)80017-2_bib37","first-page":"174","article-title":"\u00dcber die Grundlagen der Logik und der Arithmetik","author":"Hilbert","year":"1904"},{"key":"10.1016\/S0049-237X(99)80017-2_bib38","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01457115","article-title":"Axiomatisches Denken","volume":"78","author":"Hilbert","year":"1918","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80017-2_bib39","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","article-title":"\u00dcber das Unendliche","volume":"95","author":"Hilbert","year":"1926","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80017-2_bib40","first-page":"65","article-title":"Die Grundlagen der Mathematik","volume":"6","author":"Hilbert","year":"1928","journal-title":"Abhandlungen aus dem mathematischen Seminar der Ham-burgischen Universit\u00e4t, Die Grundlagen der Mathematik"},{"key":"10.1016\/S0049-237X(99)80017-2_bib41","author":"Hilbert","year":"1928"},{"key":"10.1016\/S0049-237X(99)80017-2_bib42","author":"Hilbert","year":"1934"},{"key":"10.1016\/S0049-237X(99)80017-2_bib43","author":"Hodges","year":"1983"},{"key":"10.1016\/S0049-237X(99)80017-2_bib44","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/BF01565439","article-title":"General recursive functions of natural numbers","volume":"112","author":"Kleene","year":"1936","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80017-2_bib45","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1215\/S0012-7094-36-00227-2","article-title":"\u03bb-definability and recursiveness","volume":"2","author":"Kleene","year":"1936","journal-title":"Duke Math. J."},{"key":"10.1016\/S0049-237X(99)80017-2_bib46","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1090\/S0002-9904-1936-06353-6","article-title":"A note on recursive functions","volume":"42","author":"Kleene","year":"1936","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib47","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","article-title":"On notation for ordinal numbers","volume":"3","author":"Kleene","year":"1938","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib48","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1090\/S0002-9947-1943-0007371-8","article-title":"Recursive predicates and quantifiers","volume":"53","author":"Kleene","year":"1943","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib49","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2371894","article-title":"On the forms of the predicates in the theory of constructive ordinals","volume":"66","author":"Kleene","year":"1944","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib50","author":"Kleene","year":"1952"},{"key":"10.1016\/S0049-237X(99)80017-2_bib51","first-page":"679","article-title":"Recursive functions and intuitionistic mathematics","volume":"Vol. 1","author":"Kleene","year":"1952"},{"key":"10.1016\/S0049-237X(99)80017-2_bib52","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1090\/S0002-9947-1955-0070594-4","article-title":"Arithmetical predicates and function quantifiers","volume":"79","author":"Kleene","year":"1955","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib53","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2307\/2372632","article-title":"On the forms of the predicates in the theory of constructive ordinals (second paper)","volume":"77","author":"Kleene","year":"1955","journal-title":"Amer J. Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib54","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1090\/S0002-9904-1955-09896-3","article-title":"Hierarchies of number-theoretical predicates","volume":"61","author":"Kleene","year":"1955","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib55","first-page":"1","article-title":"Recursive functionals and quantifiers of finite type I","volume":"91","author":"Kleene","year":"1959","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib56","first-page":"38","article-title":"Turing-machine computable functionals of finite types I","author":"Kleene","year":"1962"},{"issue":"3","key":"10.1016\/S0049-237X(99)80017-2_bib57","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1112\/plms\/s3-12.1.245","article-title":"Turing-machine computable functionals of finite types II","volume":"12","author":"Kleene","year":"1962","journal-title":"Proc London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib58","first-page":"106","article-title":"Recursive functionals and quantifiers of finite type II","volume":"108","author":"Kleene","year":"1963","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib59","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MAHC.1981.10004","article-title":"Origins of recursive function theory","volume":"3","author":"Kleene","year":"1981","journal-title":"Annals of the History of Computing"},{"key":"10.1016\/S0049-237X(99)80017-2_bib60","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/S0273-0979-1981-14920-X","article-title":"The theory of recursive functions, approaching its centennial","volume":"5","author":"Kleene","year":"1981","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"10.1016\/S0049-237X(99)80017-2_bib61","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-11157-3_35","article-title":"Algorithms in various contexts","author":"Kleene","year":"1981"},{"key":"10.1016\/S0049-237X(99)80017-2_bib62","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1305\/ndjfl\/1093637645","article-title":"Reflections on Church's Thesis","volume":"28","author":"Kleene","year":"1987","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib63","first-page":"49","article-title":"G\u00f6del's impression on students of logic in the 1930's","author":"Kleene","year":"1987"},{"key":"10.1016\/S0049-237X(99)80017-2_bib64","first-page":"17","article-title":"Turing's analysis of computability, and major applications of it","author":"Kleene","year":"1988"},{"key":"10.1016\/S0049-237X(99)80017-2_bib65","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","article-title":"The upper semi-lattice of degrees of recursive unsolvability","volume":"59","author":"Kleene","year":"1954","journal-title":"Ann. of Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib66","author":"Kline","year":"1972"},{"key":"10.1016\/S0049-237X(99)80017-2_bib67","series-title":"Degrees of Unsolvability: Local and Global Theory","author":"Lerman","year":"1983"},{"key":"10.1016\/S0049-237X(99)80017-2_bib68","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF01458217","article-title":"\u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl","volume":"76","author":"L\u00f6wenheim","year":"1915","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80017-2_bib69","volume":"Vol. 811","author":"Normann","year":"1980"},{"key":"10.1016\/S0049-237X(99)80017-2_bib70","unstructured":"Classical Recursion Theory, North-Holland, Amsterdam.[1989]"},{"key":"10.1016\/S0049-237X(99)80017-2_bib71","unstructured":"Oxford English Dictionary Second Edition, J. A. Simpson and E. S. C. Weiner, eds., Clarendon Press, Oxford, 24 volumes."},{"key":"10.1016\/S0049-237X(99)80017-2_bib72","first-page":"83","author":"Peano","year":"1889"},{"key":"10.1016\/S0049-237X(99)80017-2_bib73","first-page":"87, 256","article-title":"Sul concetto di numero","volume":"1","author":"Peano","year":"1891","journal-title":"Rivista di Matematica"},{"key":"10.1016\/S0049-237X(99)80017-2_bib74","article-title":"Book II. Speculative Grammar","author":"Peirce","year":"1960"},{"key":"10.1016\/S0049-237X(99)80017-2_bib75","author":"Penrose","year":"1994"},{"key":"10.1016\/S0049-237X(99)80017-2_bib76","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1007\/BF01448046","article-title":"\u00dcber den Zussammenhang der verschiedenen Begriffe der rekursiven Funktion","volume":"110","author":"P\u00c9ter","year":"1934","journal-title":"Math. Ann."},{"key":"10.1016\/S0049-237X(99)80017-2_bib77","first-page":"206","author":"P\u00c9ter","year":"1951"},{"key":"10.1016\/S0049-237X(99)80017-2_bib78","author":"Platek","year":"1966"},{"key":"10.1016\/S0049-237X(99)80017-2_bib79","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/2269031","article-title":"Finite combinatory processes - formulation I","volume":"1","author":"Post","year":"1936","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib80","first-page":"340","article-title":"Absolutely unsolvable problems and relatively undecidable propositions: Account of an anticipation. (Submitted for publication in 1941.)","author":"Post","year":"1941","journal-title":"Davis"},{"key":"10.1016\/S0049-237X(99)80017-2_bib81","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","article-title":"Formal reductions of the general combinatorial decision problem","volume":"65","author":"Post","year":"1943","journal-title":"Amer. J. Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib82","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","article-title":"Recursively enumerable sets of positive integers and their decision problems","volume":"50","author":"Post","year":"1944","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib83","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","article-title":"Recursive unsolvability of a problem of Thue","volume":"12","author":"Post","year":"1947","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib84","first-page":"641","article-title":"Degrees of recursive unsolvability: preliminary report (abstract)","volume":"54","author":"Post","year":"1948","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib85","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1090\/S0273-0979-1995-00606-3","article-title":"Review of Penrose [1994]","volume":"32","author":"Putnam","year":"1995","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib86","first-page":"482","author":"Rogers","year":"1967"},{"key":"10.1016\/S0049-237X(99)80017-2_bib87","article-title":"Degrees of unsolvability","volume":"55","author":"Sacks","year":"1963"},{"key":"10.1016\/S0049-237X(99)80017-2_bib88","author":"Sacks","year":"1990"},{"key":"10.1016\/S0049-237X(99)80017-2_bib89","unstructured":"Algebra und Logik der Relative, Part 1, Leipzig, 1895, 400 pp."},{"key":"10.1016\/S0049-237X(99)80017-2_bib90","first-page":"344","author":"Shoenfield","year":"1967"},{"key":"10.1016\/S0049-237X(99)80017-2_bib91","author":"Shoenfield","year":"1991"},{"key":"10.1016\/S0049-237X(99)80017-2_bib92","first-page":"8","article-title":"The mathematical work of S. C. Kleene","volume":"1","author":"Shoenfield","year":"1995","journal-title":"Bull. A.S.L."},{"key":"10.1016\/S0049-237X(99)80017-2_bib93","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079296.003.0005","article-title":"Mechanical procedures and mathematical experience","author":"Sieg","year":"1994"},{"key":"10.1016\/S0049-237X(99)80017-2_bib94","author":"Sieg","year":"1995","journal-title":"K-graph machines: generalizing Turing's machines and arguments"},{"key":"10.1016\/S0049-237X(99)80017-2_bib95","first-page":"38","article-title":"Begr\u00fcndung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbare Ver\u00e4nderlichen mit unendlichen Ausdehnungsbereich","volume":"6","author":"Skolem","year":"1923","journal-title":"Skrifter utgit av Videnskaps-selskapet i Kristiania, I. Mathematisk-Naturvidenskabelig Klasse"},{"key":"10.1016\/S0049-237X(99)80017-2_bib96","article-title":"Constructions in the recursively enumerable degrees","author":"Soare","year":"1981"},{"key":"10.1016\/S0049-237X(99)80017-2_bib97","author":"Soare","year":"1987"},{"key":"10.1016\/S0049-237X(99)80017-2_bib98","doi-asserted-by":"crossref","first-page":"284","DOI":"10.2307\/420992","article-title":"Computability and recursion","volume":"2","author":"Soare","year":"1996","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80017-2_bib99","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0487-8_12","article-title":"Computability and enumerability","author":"Soare","year":"1997"},{"key":"10.1016\/S0049-237X(99)80017-2_bib100","first-page":"199","article-title":"An overview of the computably enumerable sets","author":"Soare","year":"1999"},{"key":"10.1016\/S0049-237X(99)80017-2_bib101","first-page":"239","article-title":"Mechanistic theories in cognitive science: The import of Turing's Thesis","author":"Tamburrini","year":"1997"},{"key":"10.1016\/S0049-237X(99)80017-2_bib102","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"42","author":"Turing","year":"1936","journal-title":"Proc. London Math. Soc. Ser. 2"},{"key":"10.1016\/S0049-237X(99)80017-2_bib103","first-page":"544","article-title":"A correction","volume":"43","author":"Turing","year":"1937","journal-title":"ibid."},{"key":"10.1016\/S0049-237X(99)80017-2_bib104","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2307\/2268280","article-title":"Computability and \u03bb-definability","volume":"2","author":"Turing","year":"1937","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"10.1016\/S0049-237X(99)80017-2_bib105","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","article-title":"Systems of logic based on ordinals","volume":"45","author":"Turing","year":"1939","journal-title":"Proc. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80017-2_bib106","first-page":"3","article-title":"Intelligent machinery","volume":"5","author":"Turing","year":"1948","journal-title":"Machine Intelligence"},{"key":"10.1016\/S0049-237X(99)80017-2_bib107","first-page":"139","article-title":"\u201cAn early program proof by Alan Turing,\u201d","volume":"6","author":"Turing","year":"1949"},{"key":"10.1016\/S0049-237X(99)80017-2_bib108","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","article-title":"Computing machinery and intelligence","volume":"59","author":"Turing","year":"1950","journal-title":"Mind"},{"key":"10.1016\/S0049-237X(99)80017-2_bib109","doi-asserted-by":"crossref","first-page":"491","DOI":"10.2307\/1969481","article-title":"The word problem in semi-groups with cancellation","volume":"52","author":"Turing","year":"1950","journal-title":"Ann. of Math."},{"key":"10.1016\/S0049-237X(99)80017-2_bib110","first-page":"7","article-title":"Solvable and unsolvable problems","volume":"31","author":"Turing","year":"1954","journal-title":"Science News"},{"key":"10.1016\/S0049-237X(99)80017-2_bib111","first-page":"24","article-title":"Lecture to the London Mathematical Society on 20 February 1947","author":"Turing","year":"1986"},{"key":"10.1016\/S0049-237X(99)80017-2_bib112","author":"Van Heijenoort","year":"1967"},{"key":"10.1016\/S0049-237X(99)80017-2_bib113","first-page":"662","volume":"2","author":"Webster","year":"1993"},{"issue":"6","key":"10.1016\/S0049-237X(99)80017-2_bib114","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1080\/00029890.1995.12004608","article-title":"Alan Turing and the Central Limit Theorem","volume":"102","author":"Zabell","year":"1995","journal-title":"Amer. Math. Monthly"}],"container-title":["Studies in Logic and the Foundations of Mathematics","Handbook of Computability Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800172?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800172?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:32:49Z","timestamp":1758735169000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0049237X99800172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9780444898821"],"references-count":114,"URL":"https:\/\/doi.org\/10.1016\/s0049-237x(99)80017-2","relation":{},"ISSN":["0049-237X"],"issn-type":[{"value":"0049-237X","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}