{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:15Z","timestamp":1725495915017},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540770008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77002-2_6","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T10:22:54Z","timestamp":1195208574000},"page":"63-72","source":"Crossref","is-referenced-by-count":1,"title":["G\u00f6del and Computability"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving Logic Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"6_CR2","volume-title":"G\u00f6del \u2013 A life of Logic","author":"J.L. Casti","year":"2000","unstructured":"Casti, J.L., DePauli, W.: G\u00f6del \u2013 A life of Logic. Basic Books, New York (2000)"},{"issue":"4","key":"6_CR3","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1017\/S0140525X00080730","volume":"13","author":"M. Davis","year":"1990","unstructured":"Davis, M.: Is mathematical insight algorithmic? Behavioral and Brain Sciences\u00a013(4), 659\u2013660 (1990)","journal-title":"Behavioral and Brain Sciences"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1017\/S0140525X00031915","volume":"16","author":"M. Davis","year":"1993","unstructured":"Davis, M.: How subtle is G\u00f6del\u2019s theorem. More on Roger Penrose. Behavioral and Brain Sciences\u00a016, 611\u2013612 (1993)","journal-title":"Behavioral and Brain Sciences"},{"key":"6_CR5","unstructured":"Davis, M.: The Universal Computer: The Road from Leibniz to Turing. W.W. Norton & Co. (2000)"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6576.001.0001","volume-title":"Sweet Dreams \u2013 philosophical obstacles to a science of consciousness","author":"D.C. Dennett","year":"2005","unstructured":"Dennett, D.C.: Sweet Dreams \u2013 philosophical obstacles to a science of consciousness. MIT Press, Cambridge (2005)"},{"key":"6_CR7","volume-title":"Thinking things through","author":"C. Glymour","year":"1992","unstructured":"Glymour, C.: Thinking things through. MIT Press, Cambridge (1992)"},{"key":"6_CR8","unstructured":"Hodges, A.: Alan Turing \u2013 the enigma. Simon and Schuster (1983)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0004-3702(98)00052-6","volume":"104","author":"G. LaForte","year":"1998","unstructured":"LaForte, G., Hayes, P.J., Ford, K M.: Why G\u00f6del\u2019s theorem cannot refute computationalism. Artificial Intelligence\u00a0104, 265\u2013286 (1998)","journal-title":"Artificial Intelligence"},{"key":"6_CR10","unstructured":"Lopes, G., Pereira, L.M.: Prospective Programming with ACORDA. In: Empirically Successful Computerized Reasoning (ESCoR 2006) workshop, at The 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), Seattle, USA (2006)"},{"key":"6_CR11","first-page":"103","volume-title":"Machines and Thought","author":"J.R. Lucas","year":"1996","unstructured":"Lucas, J.R.: Minds, Machines, and G\u00f6del: A Retrospect. In: Millican, P., Clark, A. (eds.) Machines and Thought, vol.\u00a01, pp. 103\u2013124. Oxford University Press, Oxford (1996)"},{"key":"6_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4617.001.0001","volume-title":"Mind and Mechanism","author":"D. McDermott","year":"2001","unstructured":"McDermott, D.: Mind and Mechanism. MIT Press, Cambridge (2001)"},{"key":"6_CR13","volume-title":"Computation: Finite and Infinite Machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)"},{"key":"6_CR14","unstructured":"Nagel, E., Newman, J.R.: G\u00f6del\u2019s Proof. New York University Press (2001)"},{"key":"6_CR15","unstructured":"Nagel, E., Newman, J.R., G\u00f6del, K., Girard, J.-Y.: Le Th\u00e9or\u00e8me de G\u00f6del.\u00c9ditions du Seuil (1989)"},{"key":"6_CR16","volume-title":"Shadows of the Mind: a search for the missing science of consciousness","author":"R. Penrose","year":"1994","unstructured":"Penrose, R.: Shadows of the Mind: a search for the missing science of consciousness. Oxford University Press, Oxford (1994)"},{"key":"6_CR17","series-title":"Studies in Logic and Practical Reasoning series","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S1570-2464(02)80012-X","volume-title":"Handbook of the Logic of Argument and Inference","author":"L.M. Pereira","year":"2002","unstructured":"Pereira, L.M.: Philosophical Incidence of Logical Programming. In: Gabbay, D., et al. (eds.) Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol.\u00a01, pp. 425\u2013448. Elsevier Science, Amsterdam (2002)"},{"key":"6_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11595014_4","volume-title":"Progress in Artificial Intelligence","author":"L.M. Pereira","year":"2005","unstructured":"Pereira, L.M., Pinto, A.M.: Revised Stable Models \u2013 a semantics for logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 29\u201342. Springer, Heidelberg (2005)"},{"key":"6_CR19","unstructured":"Turing, A., Girard, J.-Y.: La Machine de Turing. \u00c9ditions du Seuil (1995)"},{"key":"6_CR20","unstructured":"Wang, H.: From Mathematics to Philosophy. Routledge (1973)"},{"key":"6_CR21","volume-title":"Reflections on Kurt G\u00f6del","author":"H. Wang","year":"1987","unstructured":"Wang, H.: Reflections on Kurt G\u00f6del. MIT Press, Cambridge (1987)"},{"key":"6_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7653-6","volume-title":"Mechanism, Mentalism and Meta-mathematics","author":"J.C. Webb","year":"1980","unstructured":"Webb, J.C.: Mechanism, Mentalism and Meta-mathematics. Reidel, Dordrechtz (1980)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77002-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:52:34Z","timestamp":1619506354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77002-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540770008"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77002-2_6","relation":{},"subject":[]}}