{"id":"https://openalex.org/W7224934817","doi":"https://doi.org/10.5281/zenodo.23796793","title":"Diagonalization Proof of the Halting Problem's Limit on Algorithmic Self-Knowledge \u2014 E8 Intelligence Research","display_name":"Diagonalization Proof of the Halting Problem's Limit on Algorithmic Self-Knowledge \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7224934817","doi":"https://doi.org/10.5281/zenodo.23796793"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23796793","doi":"https://doi.org/10.5281/zenodo.23796793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23796793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23796793","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152673107","display_name":"Andrew Stewart Caldin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Caldin, Andrew Stewart","raw_affiliation_strings":["Independent Researcher, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher, United Kingdom","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152673107"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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":1.0,"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/T11567","display_name":"semigroups and automata theory","score":9.999999747378752e-05,"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":9.999999747378752e-05,"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/halting-problem","display_name":"halting problem","score":0.9940000176429749},{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.574999988079071},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.7490000128746033},{"id":"https://openalex.org/keywords/entscheidungsproblem","display_name":"Entscheidungsproblem","score":0.8500000238418579},{"id":"https://openalex.org/keywords/godel-s-first-incompleteness-theorem","display_name":"G\u00f6del's first incompleteness theorem","score":0.9089999794960022},{"id":"https://openalex.org/keywords/arithmetization","display_name":"arithmetization","score":0.8500000238418579},{"id":"https://openalex.org/keywords/rice-s-theorem","display_name":"Rice's theorem","score":0.9100000262260437},{"id":"https://openalex.org/keywords/uncountable-sets","display_name":"uncountable sets","score":0.597000002861023},{"id":"https://openalex.org/keywords/cantor-s-theorem","display_name":"Cantor's theorem","score":0.8339999914169312},{"id":"https://openalex.org/keywords/e8","display_name":"E8","score":0.4560000002384186}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8414000272750854},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.6234999895095825},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.621999979019165},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5565000176429749},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.5564000010490417},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5315999984741211},{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.5286999940872192},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.5008000135421753},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.4758000075817108},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.4505000114440918},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.41780000925064087},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.40380001068115234},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3788999915122986},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C3853638","wikidata":"https://www.wikidata.org/wiki/Q1314081","display_name":"Gap theorem","level":5,"score":0.3366999924182892},{"id":"https://openalex.org/C27142425","wikidata":"https://www.wikidata.org/wiki/Q1139334","display_name":"Almost everywhere","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.32359999418258667},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C2778775528","wikidata":"https://www.wikidata.org/wiki/Q5135432","display_name":"Closing (real estate)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28929999470710754},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.27900001406669617},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.26179999113082886},{"id":"https://openalex.org/C20538924","wikidata":"https://www.wikidata.org/wiki/Q822139","display_name":"Characteristic function (probability theory)","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23796793","doi":"https://doi.org/10.5281/zenodo.23796793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23796793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23796794","doi":"https://doi.org/10.5281/zenodo.23796794","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23796794","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23796793","doi":"https://doi.org/10.5281/zenodo.23796793","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23796793","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7213367568","https://openalex.org/W7212432285","https://openalex.org/W7203713184","https://openalex.org/W7212301752","https://openalex.org/W7224230584","https://openalex.org/W7169754771","https://openalex.org/W7223577076","https://openalex.org/W7214535665","https://openalex.org/W7204812644","https://openalex.org/W7224371288"],"abstract_inverted_index":{"FINDING:":[0],"The":[1,111],"halting":[2],"problem":[3],"is":[4,113,127,136],"a":[5,9,130],"diagonalization":[6],"proof":[7],"establishing":[8],"hard":[10],"limit":[11],"on":[12,84,106],"algorithmic":[13],"self-knowledge":[14],"\u2014":[15,129],"no":[16,34],"total":[17,35,104],"computable":[18,36,98],"function":[19],"can":[20],"decide,":[21],"for":[22],"all":[23],"program-input":[24],"pairs,":[25],"whether":[26],"computation":[27],"terminates.":[28],"MATH:":[29],"-":[30,53,78,96,117,134],"Core":[31],"statement:":[32],"\u2203":[33],"H:":[37],"{0,1}*":[38,40],"\u00d7":[39],"\u2192":[41],"{0,1}":[42],"such":[43],"that":[44],"H(P,":[45],"x)":[46],"=":[47,58],"1":[48],"iff":[49],"P(x)\u2193,":[50],"else":[51,64],"0.":[52],"Diagonal":[54],"construction:":[55],"define":[56],"D(P)":[57],"if":[59],"H(P,P)=1":[60],"then":[61],"loop":[62],"forever,":[63],"halt.":[65],"Then":[66],"H(D,D)":[67],"yields":[68],"contradiction:":[69],"H(D,D)=1":[70],"\u27f9":[71,75],"D(D)":[72,76],"diverges;":[73],"H(D,D)=0":[74],"halts.":[77],"Equivalent":[79],"to":[80,88],"Turing's":[81],"1936":[82],"result":[83],"the":[85,114,137,158],"Entscheidungsproblem;":[86],"reduces":[87],"G\u00f6del's":[89],"first":[90],"incompleteness":[91],"theorem":[92,119,143],"(1931)":[93],"via":[94],"arithmetization.":[95],"Cardinality:":[97],"functions":[99,105],"are":[100,108],"countably":[101],"infinite":[102],"(\u2135\u2080);":[103],"\u2115":[107],"uncountable":[109],"(2^\u2135\u2080).":[110],"gap":[112],"\"uncomputable\"":[115],"set.":[116],"Rice's":[118],"(1953):":[120],"every":[121],"non-trivial":[122],"semantic":[123],"property":[124],"of":[125,157],"programs":[126],"undecidable":[128],"strict":[131],"generalization.":[132],"CONNECTION:":[133],"Diagonalization":[135],"same":[138],"structural":[139],"move":[140],"as":[141],"Cantor's":[142],"(|S|":[144],"<":[145],"|P(S)|)":[146],"and":[147],"G\u00f6d":[148],"Author:":[149],"Andrew":[150],"Stewart":[151],"Caldin,":[152],"Independent":[153],"Researcher,":[154],"UK.":[155],"Part":[156],"E8":[159],"Intelligence":[160],"Research":[161],"series.":[162],"Platform:":[163],"e8intelligence.com":[164]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-10-31T00:00:00"}