{"id":"https://openalex.org/W2008790232","doi":"https://doi.org/10.1007/s11023-014-9349-3","title":"The Comprehensibility Theorem and the Foundations of Artificial Intelligence","display_name":"The Comprehensibility Theorem and the Foundations of Artificial Intelligence","publication_year":2014,"publication_date":"2014-11-01","ids":{"openalex":"https://openalex.org/W2008790232","doi":"https://doi.org/10.1007/s11023-014-9349-3","mag":"2008790232"},"language":"en","primary_location":{"id":"doi:10.1007/s11023-014-9349-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11023-014-9349-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11023-014-9349-3.pdf","source":{"id":"https://openalex.org/S160466889","display_name":"Minds and Machines","issn_l":"0924-6495","issn":["0924-6495","1572-8641"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Minds and Machines","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11023-014-9349-3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023509148","display_name":"Arthur Charlesworth","orcid":"https://orcid.org/0000-0002-5873-6753"},"institutions":[{"id":"https://openalex.org/I158012942","display_name":"University of Richmond","ror":"https://ror.org/03y71xh61","country_code":"US","type":"education","lineage":["https://openalex.org/I158012942"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Arthur Charlesworth","raw_affiliation_strings":["Mathematics and Computer Science, University of Richmond, Richmond, VA, 23173, USA","Mathematics and Computer Science, University of Richmond, Richmond, USA 23173#TAB#"],"affiliations":[{"raw_affiliation_string":"Mathematics and Computer Science, University of Richmond, Richmond, VA, 23173, USA","institution_ids":["https://openalex.org/I158012942"]},{"raw_affiliation_string":"Mathematics and Computer Science, University of Richmond, Richmond, USA 23173#TAB#","institution_ids":["https://openalex.org/I158012942"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023509148"],"corresponding_institution_ids":["https://openalex.org/I158012942"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.7122,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.7071011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"24","issue":"4","first_page":"439","last_page":"476"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6081466674804688},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5768937468528748},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5653414130210876},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5633206963539124},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.537405788898468},{"id":"https://openalex.org/keywords/g\u00f6dels-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.5053172707557678},{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.4963110089302063},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4807993471622467},{"id":"https://openalex.org/keywords/philosophy-of-science","display_name":"Philosophy of science","score":0.4506639242172241},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.43542978167533875},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.43305543065071106},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.4323571026325226},{"id":"https://openalex.org/keywords/g\u00f6del","display_name":"G\u00f6del","score":0.3040497601032257},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2664894461631775},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.16042381525039673},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15049007534980774},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14270177483558655}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6081466674804688},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5768937468528748},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5653414130210876},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5633206963539124},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.537405788898468},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.5053172707557678},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.4963110089302063},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4807993471622467},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.4506639242172241},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.43542978167533875},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.43305543065071106},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.4323571026325226},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.3040497601032257},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2664894461631775},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.16042381525039673},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15049007534980774},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14270177483558655},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11023-014-9349-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11023-014-9349-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11023-014-9349-3.pdf","source":{"id":"https://openalex.org/S160466889","display_name":"Minds and Machines","issn_l":"0924-6495","issn":["0924-6495","1572-8641"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Minds and Machines","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11023-014-9349-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11023-014-9349-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11023-014-9349-3.pdf","source":{"id":"https://openalex.org/S160466889","display_name":"Minds and Machines","issn_l":"0924-6495","issn":["0924-6495","1572-8641"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Minds and Machines","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4099999964237213,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2008790232.pdf","grobid_xml":"https://content.openalex.org/works/W2008790232.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W149216102","https://openalex.org/W198519278","https://openalex.org/W1480277685","https://openalex.org/W1490681365","https://openalex.org/W1501224804","https://openalex.org/W1564693565","https://openalex.org/W1574512757","https://openalex.org/W1599335667","https://openalex.org/W1605034451","https://openalex.org/W1989813138","https://openalex.org/W1990309597","https://openalex.org/W1996489341","https://openalex.org/W1998541552","https://openalex.org/W2001389108","https://openalex.org/W2022398114","https://openalex.org/W2038389031","https://openalex.org/W2081739832","https://openalex.org/W2097983898","https://openalex.org/W2102816475","https://openalex.org/W2114804254","https://openalex.org/W2115456387","https://openalex.org/W2122410182","https://openalex.org/W2124909257","https://openalex.org/W2126160338","https://openalex.org/W2148360835","https://openalex.org/W2324836472","https://openalex.org/W2333976070","https://openalex.org/W2359180288","https://openalex.org/W2422851612","https://openalex.org/W2490062034","https://openalex.org/W2554810593","https://openalex.org/W2623293810","https://openalex.org/W2936042178","https://openalex.org/W3128160848","https://openalex.org/W3195679041","https://openalex.org/W4213366711","https://openalex.org/W4229832496","https://openalex.org/W4232668957","https://openalex.org/W4235178139","https://openalex.org/W4250451967","https://openalex.org/W4253131970","https://openalex.org/W4255718700","https://openalex.org/W4256369010","https://openalex.org/W4300178288","https://openalex.org/W6608062245","https://openalex.org/W6634378577","https://openalex.org/W6636238252","https://openalex.org/W6647873235","https://openalex.org/W6649444700","https://openalex.org/W6656097732","https://openalex.org/W6674916363","https://openalex.org/W6706657919","https://openalex.org/W6803949319","https://openalex.org/W7074565645"],"related_works":["https://openalex.org/W2914455403","https://openalex.org/W2388249495","https://openalex.org/W3112164934","https://openalex.org/W2369848527","https://openalex.org/W2370776283","https://openalex.org/W3081583559","https://openalex.org/W282876138","https://openalex.org/W4386113755","https://openalex.org/W1686597708","https://openalex.org/W3173527914"],"abstract_inverted_index":{"Problem-solving":[0],"software":[1,11],"that":[2,83,95,199],"is":[3,6,21,112,124],"not-necessarily":[4,140],"infallible":[5,141],"central":[7],"to":[8,54,82,114,119,163,175,204,226],"AI.":[9,28],"Such":[10],"whose":[12],"correctness":[13],"and":[14,50,89,93,103,146],"incorrectness":[15],"properties":[16],"are":[17,62],"deducible":[18],"by":[19],"agents":[20,61,203],"an":[22],"issue":[23,49],"at":[24,70],"the":[25,60,74,125,130,150,157,178,210],"foundations":[26,75],"of":[27,58,76,91,132,149,159,181,194,212,224],"The":[29,66],"Comprehensibility":[30,122],"Theorem,":[31],"which":[32],"appeared":[33],"in":[34,39,73,101,185],"a":[35,45,116,139,144,165,192],"journal":[36],"for":[37,191,197],"specialists":[38],"formal":[40],"mathematical":[41,127],"logic,":[42],"might":[43,51,188,200],"provide":[44],"limitation":[46],"concerning":[47],"this":[48],"be":[52,176,189,223],"applicable":[53],"any":[55,133],"agents,":[56],"regardless":[57],"whether":[59],"artificial":[63],"or":[64,136],"natural.":[65],"present":[67],"article,":[68],"aimed":[69],"researchers":[71],"interested":[72],"AI,":[77],"addresses":[78],"many":[79],"questions":[80],"related":[81],"theorem,":[84],"including":[85],"differences":[86],"between":[87],"it":[88,174],"results":[90],"G\u00f6del":[92],"Turing":[94],"have":[96,154],"sometimes":[97],"played":[98],"key":[99],"roles":[100],"Minds":[102],"Machines":[104],"articles.":[105],"This":[106,169],"study":[107],"also":[108],"suggests":[109],"that\u2014if":[110],"one":[111],"willing":[113],"assume":[115],"thesis":[117],"due":[118],"Donald":[120],"Knuth\u2014the":[121],"Theorem":[123],"first":[126],"theorem":[128],"implying":[129],"impossibility":[131],"AI":[134],"agent":[135],"natural":[137],"agent\u2014including":[138],"human":[142],"agent\u2014satisfying":[143],"rigorous":[145,167],"deductive":[147],"interpretation":[148],"self-comprehensibility":[151],"challenge.":[152],"Some":[153],"pointed":[155],"out":[156],"difficulty":[158],"self-comprehensibility,":[160],"even":[161],"according":[162],"presumably":[164],"less":[166],"interpretation.":[168],"includes":[170],"Socrates,":[171],"who":[172],"considered":[173,221],"among":[177],"most":[179],"important":[180],"intellectual":[182],"tasks.":[183],"Self-comprehensibility":[184],"some":[186,202,219],"form":[187],"essential":[190],"kind":[193],"self-reflection":[195],"useful":[196],"self-improvement":[198],"enable":[201],"increase":[205],"their":[206],"success.":[207],"We":[208],"use":[209],"methods":[211],"applied":[213],"mathematics,":[214],"rather":[215],"than":[216],"philosophy,":[217],"although":[218],"topics":[220],"could":[222],"interest":[225],"philosophers.":[227]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}