{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T15:57:02Z","timestamp":1720713422026},"reference-count":59,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":6895,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1995,3]]},"abstract":"<jats:p><jats:bold>\u00a71. The origins of recursion theory<\/jats:bold>. In dedicating a book to Steve Kleene, I referred to him as the person who made recursion theory into a theory. Recursion theory was begun by Kleene's teacher at Princeton, Alonzo Church, who first defined the class of recursive functions; first maintained that this class was the class of computable functions (a claim which has come to be known as Church's Thesis); and first used this fact to solve negatively some classical problems on the existence of algorithms. However, it was Kleene who, in his thesis and in his subsequent attempts to convince himself of Church's Thesis, developed a general theory of the behavior of the recursive functions. He continued to develop this theory and extend it to new situations throughout his mathematical career. Indeed, all of the research which he did had a close relationship to recursive functions.<\/jats:p><jats:p>Church's Thesis arose in an accidental way. In his investigations of a system of logic which he had invented, Church became interested in a class of functions which he called the \u03bb-definable functions. Initially, Church knew that the successor function and the addition function were \u03bb-definable, but not much else. During 1932, Kleene gradually showed1 that this class of functions was quite extensive; and these results became an important part of his thesis <jats:italic>1935a<\/jats:italic> (completed in June of 1933).<\/jats:p>","DOI":"10.2307\/420945","type":"journal-article","created":{"date-parts":[[2006,4,18]],"date-time":"2006-04-18T12:43:38Z","timestamp":1145364218000},"page":"9-43","source":"Crossref","is-referenced-by-count":9,"title":["The Mathematical Work of S.C.Kleene"],"prefix":"10.1017","volume":"1","author":[{"given":"J.R.","family":"Shoenfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600008283_ref047","doi-asserted-by":"crossref","first-page":"123","DOI":"10.4064\/fm-46-2-123-135","article-title":"Separation principles in the hierarchies of classical and effective descriptive set theory","volume":"46","author":"Addison","year":"1959","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600008283_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1943-0007371-8"},{"key":"S1079898600008283_ref029","doi-asserted-by":"publisher","DOI":"10.2307\/2963675"},{"key":"S1079898600008283_ref032","doi-asserted-by":"crossref","first-page":"281","DOI":"10.4064\/fm-50-3-281-303","article-title":"[1962d] Lambda-definable functionals of finite type","volume":"50","author":"Kleene's","year":"1962","journal-title":"Fundamenta Mathematicae"},{"key":"S1079898600008283_ref024","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4064\/cm-6-1-67-78","article-title":"[1958] Extension of an effectively generated class of functions by enumeration","volume":"6","author":"Kleene's","year":"1958","journal-title":"Colloquium Mathematicum"},{"key":"S1079898600008283_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(56)50037-6"},{"key":"S1079898600008283_ref039","doi-asserted-by":"publisher","DOI":"10.2307\/2272394"},{"key":"S1079898600008283_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/1968749"},{"key":"S1079898600008283_ref048","volume-title":"The Kleene symposium","volume":"101","author":"Jon Barwise","year":"1980"},{"key":"S1079898600008283_ref012","doi-asserted-by":"publisher","DOI":"10.2307\/2269016"},{"key":"S1079898600008283_ref025","first-page":"1","article-title":"[1959a] Recursive functionals and quantifiers of finite types I","volume":"91","author":"Kleene's","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"S1079898600008283_ref051","first-page":"309","volume-title":"Proceedings of the summer school in mathematical logic, Leicester","author":"Moschovakis","year":"1967"},{"key":"S1079898600008283_ref021","first-page":"3","volume-title":"Automata studies","author":"Kleene's","year":"1956"},{"key":"S1079898600008283_ref036","first-page":"398","volume-title":"[1967] Mathematical logic","author":"Kleene's","year":"1967"},{"key":"S1079898600008283_ref018","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1955-0070594-4"},{"key":"S1079898600008283_ref052","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1947-0025420-1"},{"key":"S1079898600008283_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1936-06353-6"},{"key":"S1079898600008283_ref044","first-page":"1","volume-title":"Patras logic symposium","author":"Kleene's","year":"1982"},{"key":"S1079898600008283_ref009","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1080\/00029890.1939.11990907","article-title":"[1939] A postulational basis for probability","volume":"46","author":"Kleene's","year":"1939","journal-title":"American Mathematical Monthly"},{"key":"S1079898600008283_ref046","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637645"},{"key":"S1079898600008283_ref043","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1981-14920-X"},{"key":"S1079898600008283_ref040","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70933-9"},{"key":"S1079898600008283_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2371199"},{"key":"S1079898600008283_ref020","first-page":"312","article-title":"[1955c] Hierarchies of number-theoretic predicates","volume":"79","author":"Kleene's","year":"1955","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S1079898600008283_ref023","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1090\/S0002-9939-1957-0091243-2","article-title":"[1957] A note on function quantification","volume":"8","author":"Kleene's","year":"1957","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S1079898600008283_ref013","first-page":"1049","article-title":"[1947] Analysis of lengthening of modulated repetitive pulses","volume":"35","author":"Kleene's","year":"1947","journal-title":"Proceedings of the Institute of Radio Engineers"},{"key":"S1079898600008283_ref028","first-page":"154","article-title":"[1960] Realizability and Shanins algorithm for the constructive deciphering of mathematical sentences","volume":"3","author":"Kleene's","year":"1960","journal-title":"Logique et Analyse"},{"key":"S1079898600008283_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565439"},{"key":"S1079898600008283_ref007","first-page":"11","article-title":"[1936d] Formal definitions in the theory of ordinal numbers","volume":"28","author":"Kleene's","year":"1936","journal-title":"Fundamenta Mathematica"},{"key":"S1079898600008283_ref049","volume-title":"Introduction to combinators and \u03bb-calculus","author":"Hindley","year":"1986"},{"key":"S1079898600008283_ref014","first-page":"244","article-title":"[1950] A symmetric form of Godel's theorem","volume":"12","author":"Kleene's","year":"1950","journal-title":"Indagationes Mathematicae"},{"key":"S1079898600008283_ref034","first-page":"106","article-title":"[1963] Recursive functionals and quantifiers of finite type II","volume":"108","author":"Kleene's","year":"1963","journal-title":"Transactions of the American Mathematical Society"},{"key":"S1079898600008283_ref050","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0684494-7"},{"key":"S1079898600008283_ref031","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-12.1.245"},{"key":"S1079898600008283_ref053","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0098600"},{"key":"S1079898600008283_ref026","first-page":"81","volume-title":"Constructivity in mathematics, proceedings of the colloquium held in Amsterdam 1957","author":"Kleene's","year":"1959"},{"key":"S1079898600008283_ref057","doi-asserted-by":"publisher","DOI":"10.2307\/2266902"},{"key":"S1079898600008283_ref019","doi-asserted-by":"publisher","DOI":"10.2307\/2372632"},{"key":"S1079898600008283_ref059","doi-asserted-by":"publisher","DOI":"10.2307\/2268280"},{"key":"S1079898600008283_ref016","volume-title":"[1952b] Introduction to metamathematics","author":"Kleene's","year":"1952"},{"key":"S1079898600008283_ref027","first-page":"23","article-title":"[1959c] Quantifiers of number-theoretic functions","volume":"14","author":"Kleene's","year":"1959","journal-title":"Compositio Mathematica"},{"key":"S1079898600008283_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2371894"},{"key":"S1079898600008283_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/1968646"},{"key":"S1079898600008283_ref056","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S1079898600008283_ref058","doi-asserted-by":"publisher","DOI":"10.2307\/1969604"},{"key":"S1079898600008283_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"S1079898600008283_ref005","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-36-00227-2"},{"key":"S1079898600008283_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066772"},{"key":"S1079898600008283_ref017","doi-asserted-by":"publisher","DOI":"10.2307\/1969708"},{"key":"S1079898600008283_ref015","volume-title":"[1952a] Two papers on the predicate calculus","author":"Kleene's","year":"1952"},{"key":"S1079898600008283_ref033","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/005\/0141594"},{"key":"S1079898600008283_ref030","first-page":"38","volume-title":"Logic, methodology, and philosophy of science: Proceedings of the 1960 international congress","author":"Kleene's","year":"1962"},{"key":"S1079898600008283_ref041","first-page":"1","volume-title":"The Kleene symposium","author":"Kleene's","year":"1980"},{"key":"S1079898600008283_ref042","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1981.10004"},{"key":"S1079898600008283_ref035","volume-title":"[1965] The foundations of intuitionistic matehmatics, especially in relation to recursive functions","author":"Kleene's","year":"1965"},{"key":"S1079898600008283_ref054","unstructured":"Platek Richard , Foundations of recursion theory, Ph.D. thesis , Stanford University, 1966."},{"key":"S1079898600008283_ref055","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1944-08111-1"},{"key":"S1079898600008283_ref045","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1090\/pspum\/042\/791054","volume-title":"Recursion theory","volume":"42","author":"Kleene's","year":"1984"},{"key":"S1079898600008283_ref037","volume-title":"[1969] Formalized recursive functionals and formalized realizability","author":"Kleene's","year":"1969"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600008283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T15:17:16Z","timestamp":1557847036000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600008283\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":59,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["S1079898600008283"],"URL":"https:\/\/doi.org\/10.2307\/420945","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}