{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:24:31Z","timestamp":1648513471716},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,1,23]],"date-time":"2016-01-23T00:00:00Z","timestamp":1453507200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11023-015-9382-x","type":"journal-article","created":{"date-parts":[[2016,1,22]],"date-time":"2016-01-22T23:36:26Z","timestamp":1453505786000},"page":"205-226","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Theorem about Computationalism and \u201cAbsolute\u201d Truth"],"prefix":"10.1007","volume":"26","author":[{"given":"Arthur","family":"Charlesworth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,23]]},"reference":[{"key":"9382_CR1","volume-title":"Impossibility: The limits of science and the science of limits","author":"JD Barrow","year":"1998","unstructured":"Barrow, J. D. (1998). Impossibility: The limits of science and the science of limits. New York: Oxford University Press."},{"key":"9382_CR2","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1145\/1149114.1149119","volume":"7","author":"A Charlesworth","year":"2006","unstructured":"Charlesworth, A. (2006). Comprehending software correctness implies comprehending an intelligence-related limitation. ACM Transactions on Computational Logic, 7, 590\u2013612.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9382_CR3","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s11023-014-9349-3","volume":"24","author":"A Charlesworth","year":"2014","unstructured":"Charlesworth, A. (2014). The comprehensibility theorem and the foundations of artificial intelligence. Minds and Machines, 24, 439\u2013476.","journal-title":"Minds and Machines"},{"issue":"4","key":"9382_CR4","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1017\/S0140525X00080730","volume":"13","author":"M Davis","year":"1990","unstructured":"Davis, M. (1990). Is mathematical insight algorithmic? Behavioral and Brain Sciences, 13(4), 659\u2013660.","journal-title":"Behavioral and Brain Sciences"},{"key":"9382_CR5","volume-title":"Logical dilemmas: The life and work of Kurt G\u00f6del","author":"J Dawson","year":"1997","unstructured":"Dawson, J. (1997). Logical dilemmas: The life and work of Kurt G\u00f6del. Wellesley, MA: A. K. Peters."},{"issue":"4","key":"9382_CR6","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1017\/S0140525X00080742","volume":"13","author":"D Dennett","year":"1990","unstructured":"Dennett, D. (1990). Betting your life on an algorithm. Behavioral and Brain Sciences, 13(4), 660\u2013661.","journal-title":"Behavioral and Brain Sciences"},{"key":"9382_CR7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF00143761","volume":"5","author":"T Dodd","year":"1991","unstructured":"Dodd, T. (1991). G\u00f6del, Penrose and the possibility of AI. Artificial Intelligence Review, 5, 187\u2013199.","journal-title":"Artificial Intelligence Review"},{"issue":"2","key":"9382_CR8","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1093\/philmat\/nkj003","volume":"14","author":"S Feferman","year":"2006","unstructured":"Feferman, S. (2006). Are there absolutely unsolvable problems? G\u00f6del\u2019s dichotomy. Philosophia Mathematica, 14(2), 134\u2013152.","journal-title":"Philosophia Mathematica"},{"key":"9382_CR9","unstructured":"FIDE 2014. World Chess Federation Handbook, www.fide.com\/fide\/handbook.html ."},{"key":"9382_CR10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0097-3165(81)90016-9","volume":"31","author":"AS Fraenkel","year":"1981","unstructured":"Fraenkel, A. S., & Lichtenstein, D. (1981). Computing a perfect strategy for $$n \\times n$$ n \u00d7 n chess requires time exponential in $$n$$ n . Journal of Combinatorial Theory, Series A, 31, 199\u2013214.","journal-title":"Journal of Combinatorial Theory, Series A"},{"key":"9382_CR11","first-page":"145","volume-title":"Kurt G\u00f6del\u2019s collected works","author":"K G\u00f6del","year":"1986","unstructured":"G\u00f6del, K. (1986). On formally undecidable propositions of Principia Mathematica and related systems. In S. Feferman (Ed.), Kurt G\u00f6del\u2019s collected works (Vol. I, pp. 145\u2013195). New York: Oxford University Press."},{"key":"9382_CR12","first-page":"304","volume-title":"Kurt G\u00f6del\u2019s collected Works","author":"K G\u00f6del","year":"1995","unstructured":"G\u00f6del, K. (1995). Some basic theorems on the foundations of mathematics and their implications. In S. Feferman (Ed.), Kurt G\u00f6del\u2019s collected works (Vol. III, pp. 304\u2013323). New York: Oxford University Press."},{"key":"9382_CR13","volume-title":"An introduction to mathematical logic","author":"RE Hodel","year":"1995","unstructured":"Hodel, R. E. (1995). An introduction to mathematical logic. Boston: PWS Publishing Company."},{"key":"9382_CR14","volume-title":"Introduction to automata theory, languages, and computation","author":"JE Hopcroft","year":"2007","unstructured":"Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2007). Introduction to automata theory, languages, and computation (3rd ed.). Boston: Addison Wesley.","edition":"3"},{"key":"9382_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability theory: The logic of science","author":"ET Jaynes","year":"2003","unstructured":"Jaynes, E. T. (2003). Probability theory: The logic of science. New York: Cambridge University Press."},{"key":"9382_CR16","volume-title":"How we reason","author":"PN Johnson-Laird","year":"2006","unstructured":"Johnson-Laird, P. N. (2006). How we reason. New York: Oxford University Press."},{"key":"9382_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oxfordhb\/9780195399691.001.0001","volume-title":"The Oxford handbook of free will","author":"RH Kane","year":"2011","unstructured":"Kane, R. H. (2011). The Oxford handbook of free will (2nd ed.). New York: Oxford University Press.","edition":"2"},{"key":"9382_CR18","volume-title":"Selected papers on computer science","author":"DE Knuth","year":"1996","unstructured":"Knuth, D. E. (1996). Selected papers on computer science. New York: Cambridge University Press."},{"key":"9382_CR19","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1093\/brain\/106.3.623","volume":"106","author":"B Libet","year":"1983","unstructured":"Libet, B., Gleason, C. A., Wright, E. W., & Pearl, D. K. (1983). Time of conscious intention to act in relation to onset of cerebral activity (readiness potential): The unconscious initiation of a freely voluntary act. Brain, 106, 623\u2013642.","journal-title":"Brain"},{"issue":"4","key":"9382_CR20","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1017\/S0140525X00080870","volume":"13","author":"R Lutz","year":"1990","unstructured":"Lutz, R. (1990). Quantum AI. Behavioral and Brain Sciences, 13(4), 672\u2013673.","journal-title":"Behavioral and Brain Sciences"},{"issue":"4","key":"9382_CR21","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1017\/S0140525X00080912","volume":"13","author":"D McDermott","year":"1990","unstructured":"McDermott, D. (1990). Computation and consciousness. Behavioral and Brain Sciences, 13(4), 676\u2013677.","journal-title":"Behavioral and Brain Sciences"},{"key":"9382_CR22","first-page":"256","volume-title":"The third culture","author":"M Minsky","year":"1995","unstructured":"Minsky, M. (1995). Reply to Penrose\u2019s \u201cConsciousness involves noncomputable ingredients\u201d. In J. Brockman (Ed.), The third culture (pp. 256\u2013257). New York: Simon and Schuster."},{"issue":"4","key":"9382_CR23","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1017\/S0140525X00080948","volume":"13","author":"D Perlis","year":"1990","unstructured":"Perlis, D. (1990). The emperor\u2019s old hat. Behavioral and Brain Sciences, 13(4), 680\u2013681.","journal-title":"Behavioral and Brain Sciences"},{"issue":"4","key":"9382_CR24","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1017\/S0140525X00080961","volume":"13","author":"A Roskies","year":"1990","unstructured":"Roskies, A. (1990). Seeing truth or just seeming true? Behavioral and Brain Sciences, 13(4), 682\u2013683.","journal-title":"Behavioral and Brain Sciences"},{"key":"9382_CR25","volume-title":"Artificial intelligence: A modern approach","author":"SJ Russell","year":"2010","unstructured":"Russell, S. J., & Norvig, P. (2010). Artificial intelligence: A modern approach (3rd ed.). New Jersey, Englewood Cliffs: Prentice-Hall.","edition":"3"},{"key":"9382_CR26","volume-title":"Mathematical logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J. R. (1967). Mathematical logic. Reading, MA: Addison-Wesley."},{"issue":"2","key":"9382_CR27","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/philmat\/nkj008","volume":"14","author":"R Tieszen","year":"2006","unstructured":"Tieszen, R. (2006). After G\u00f6del: Mechanism, reason, and realism in the philosophy of mathematics. Philosophia Mathematica, 14(2), 229\u2013254.","journal-title":"Philosophia Mathematica"},{"key":"9382_CR28","unstructured":"Turing, A. M. (1986). Lecture to the London mathematical society on 20 February 1947. In A. M. Turing\u2019s ACE report of 1946 and other papers, (pp. 106\u2013124). Cambridge, MA: MIT Press."},{"key":"9382_CR29","volume-title":"A logical journey","author":"H Wang","year":"2001","unstructured":"Wang, H. (2001). A logical journey. Cambridge: MIT Press."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-015-9382-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-015-9382-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-015-9382-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-015-9382-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T15:07:53Z","timestamp":1553612873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-015-9382-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,23]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["9382"],"URL":"https:\/\/doi.org\/10.1007\/s11023-015-9382-x","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,23]]}}}