{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T03:43:31Z","timestamp":1708400611454},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T00:00:00Z","timestamp":1196899200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s11023-007-9082-2","type":"journal-article","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T16:00:30Z","timestamp":1196956830000},"page":"1-15","source":"Crossref","is-referenced-by-count":0,"title":["Consistency, Turing Computability and G\u00f6del\u2019s First Incompleteness Theorem"],"prefix":"10.1007","volume":"18","author":[{"given":"Robert F.","family":"Hadley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,12,6]]},"reference":[{"key":"9082_CR1","volume-title":"Computability and Logic","author":"G. S. Boolos","year":"1980","unstructured":"Boolos, G. S., & Jeffrey, R. C. (1980). Computability and Logic, (2nd ed.). Cambridge, UK: Cambridge University Press.","edition":"2nd Edition"},{"key":"9082_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58, 345\u2013363.","journal-title":"American Journal of Mathematics"},{"key":"9082_CR3","volume-title":"Computability and unsolvability","author":"M. Davis","year":"1958","unstructured":"Davis, M. (1958). Computability and unsolvability. New York: McGraw-Hill Book Company."},{"key":"9082_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S. Feferman","year":"1960","unstructured":"Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, 49, 35\u201392.","journal-title":"Fundamenta Mathematicae"},{"key":"9082_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF01019461","volume":"6","author":"M. J. Fisher","year":"1993","unstructured":"Fisher, M. J. (1993). Lambda-calculus schemata. Lisp and Symbolic Computation, 6, 259\u2013288.","journal-title":"Lisp and Symbolic Computation"},{"key":"9082_CR6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K. (1931). \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte f\u00fcr Mathematik und Physik, 38, 173\u2013198.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"9082_CR7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1111\/j.1467-8640.1987.tb00174.x","volume":"3","author":"R. F. Hadley","year":"1987","unstructured":"Hadley, R. F. (1987). G\u00f6del, Lucas, and mechanical models of the mind. Computational Intelligence, 3, 57\u201363.","journal-title":"Computational Intelligence"},{"key":"9082_CR8","first-page":"490","volume":"41","author":"S. C. Kleene","year":"1935","unstructured":"Kleene, S. C. (1935). \u03bb-definability and recursiveness. Bulletin of the American Mathematical Society, 41, 490.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"9082_CR9","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1215\/S0012-7094-36-00227-2","volume":"2","author":"S. C. Kleene","year":"1936","unstructured":"Kleene, S. C. (1936). \u03bb-definability and recursiveness. Duke Mathematical Journal, 2, 340\u2013353.","journal-title":"Duke Mathematical Journal"},{"key":"9082_CR10","volume-title":"Mathematical logic","author":"S. C. Kleene","year":"1967","unstructured":"Kleene, S. C. (1967). Mathematical logic. New York: John Wiley & Sons, Inc."},{"key":"9082_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1017\/S0031819100024591","volume":"44","author":"D. Lewis","year":"1969","unstructured":"Lewis, D. (1969). Lucas against mechanism. Philosophy, 44, 231\u2013233.","journal-title":"Philosophy"},{"key":"9082_CR12","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\u00f6wenheim","year":"1915","unstructured":"L\u00f6wenheim, L. (1915). \u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl. Math.Ann., 76, 447\u2013470.","journal-title":"Math.Ann."},{"key":"9082_CR13","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1017\/S0031819100057983","volume":"36","author":"J. R. Lucas","year":"1961","unstructured":"Lucas, J. R. (1961). Minds, machines, and g\u00f6del. Philosophy, 36, 112\u2013117.","journal-title":"Philosophy"},{"key":"9082_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The emperor\u2019s new mind","author":"R. Penrose","year":"1989","unstructured":"Penrose, R. (1989). The emperor\u2019s new mind. Oxford: Oxford University Press."},{"key":"9082_CR15","volume-title":"Shadows of the mind","author":"R. Penrose","year":"1994","unstructured":"Penrose, R. (1994). Shadows of the mind. Oxford: Oxford University Press."},{"key":"9082_CR16","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534501.001.0001","volume-title":"Diagonalization and self-reference","author":"R. M. Smullyan","year":"1994","unstructured":"Smullyan, R. M. (1994). Diagonalization and self-reference. Oxford: Clarendon Press."},{"key":"9082_CR17","doi-asserted-by":"crossref","unstructured":"Turing, A. M. (1936\u20131937). On computable numbers with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society. 42, (pp. 230\u2013265). A correction is given in Vol. 43, pp. 544\u2013546.","DOI":"10.1112\/plms\/s2-43.6.544"},{"key":"9082_CR18","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"A. M. Turing","year":"1937","unstructured":"Turing, A. M. (1937). Computability and \u03bb-definability. Journal of Symbolic Logic, 2, 153\u2013163.","journal-title":"Journal of Symbolic Logic"},{"key":"9082_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7653-6","volume-title":"Mechanism, mentalism, and metamathematics","author":"J. Webb","year":"1980","unstructured":"Webb, J. (1980). Mechanism, mentalism, and metamathematics. Hingham, MA: Reidel."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-007-9082-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-007-9082-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-007-9082-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T03:10:02Z","timestamp":1708398602000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-007-9082-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,6]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9082"],"URL":"https:\/\/doi.org\/10.1007\/s11023-007-9082-2","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,6]]}}}