{"id":"https://openalex.org/W7225266716","doi":"https://doi.org/10.5281/zenodo.23939489","title":"Three Strata of the \"Impossible\": Undecidable, Unprovable, Unsolved \u2014 E8 Intelligence Research","display_name":"Three Strata of the \"Impossible\": Undecidable, Unprovable, Unsolved \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-11-04","ids":{"openalex":"https://openalex.org/W7225266716","doi":"https://doi.org/10.5281/zenodo.23939489"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23939489","doi":"https://doi.org/10.5281/zenodo.23939489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23939489","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","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23939489","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158599967","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/A5158599967"],"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":0.9961000084877014,"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.9961000084877014,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/undecidability","display_name":"undecidability","score":0.8740000128746033},{"id":"https://openalex.org/keywords/unprovability","display_name":"unprovability","score":0.6880000233650208},{"id":"https://openalex.org/keywords/open-problems","display_name":"open problems","score":0.9190000295639038},{"id":"https://openalex.org/keywords/halting-problem","display_name":"halting problem","score":0.8169999718666077},{"id":"https://openalex.org/keywords/entscheidungsproblem","display_name":"Entscheidungsproblem","score":0.9229999780654907},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.8889999985694885},{"id":"https://openalex.org/keywords/rice-s-theorem","display_name":"Rice's theorem","score":0.8320000171661377},{"id":"https://openalex.org/keywords/matrix-diagonalization","display_name":"diagonalization","score":0.8650000095367432},{"id":"https://openalex.org/keywords/self-reference","display_name":"self-reference","score":0.7829999923706055},{"id":"https://openalex.org/keywords/collatz-conjecture","display_name":"Collatz conjecture","score":0.7710000276565552},{"id":"https://openalex.org/keywords/navier-stokes-equations","display_name":"Navier-Stokes equations","score":0.9120000004768372},{"id":"https://openalex.org/keywords/e8","display_name":"E8","score":0.4699999988079071},{"id":"https://openalex.org/keywords/fixed-points","display_name":"fixed points","score":0.49399998784065247},{"id":"https://openalex.org/keywords/computability","display_name":"computability","score":0.4740000069141388}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7926999926567078},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7282000184059143},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5490999817848206},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5383999943733215},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.483599990606308},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4120999872684479},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4106000065803528},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.40400001406669617},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.40049999952316284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39809998869895935},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.3763999938964844},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3684999942779541},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.33970001339912415},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.33570000529289246},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3012999892234802},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.27379998564720154},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27070000767707825},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23939489","doi":"https://doi.org/10.5281/zenodo.23939489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23939489","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.23939490","doi":"https://doi.org/10.5281/zenodo.23939490","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23939490","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.23939489","doi":"https://doi.org/10.5281/zenodo.23939489","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23939489","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225229880","https://openalex.org/W7223823161","https://openalex.org/W7225258208","https://openalex.org/W7222087491","https://openalex.org/W7211884106","https://openalex.org/W7214028168","https://openalex.org/W7221123372","https://openalex.org/W7224230584","https://openalex.org/W7204116191","https://openalex.org/W7204604106"],"abstract_inverted_index":{"FINDING:":[0],"The":[1],"\"impossible\"":[2],"class":[3],"is":[4,101,106,124,130],"not":[5],"one":[6],"problem":[7],"but":[8],"three":[9],"distinct":[10],"strata":[11],"\u2014":[12,110],"undecidable":[13],"(Turing/Hilbert),":[14],"unprovable-in-a-given-system":[15],"(G\u00f6del),":[16],"and":[17,80],"merely":[18],"unsolved":[19],"(Collatz,":[20],"Navier\u2013Stokes).":[21],"|":[22,103],"MATH:":[23],"Halting":[24],"problem:":[25],"no":[26,54],"total":[27],"computable":[28],"H(P,x)":[29],"decides":[30,56],"whether":[31],"program":[32],"P":[33],"halts":[34],"on":[35],"x.":[36],"Proof":[37],"by":[38],"diagonalization:":[39],"define":[40],"D(P)":[41],"=":[42,146],"if":[43],"H(P,P)":[44],"then":[45],"loop":[46],"else":[47],"halt":[48],"\u21d2":[49],"H(D,D)":[50],"contradicts.":[51],"Hilbert":[52],"Entscheidungsproblem:":[53],"algorithm":[55],"\u2200-validity":[57],"of":[58,99,134,156],"FOL":[59],"(Church\u2013Turing":[60],"1936).":[61],"G\u00f6del":[62,88],"I:":[63],"any":[64],"consistent,":[65],"effectively":[66],"axiomatized":[67],"theory":[68],"T":[69,77,81,90],"\u2287":[70],"PA":[71],"has":[72],"a":[73,125],"sentence":[74],"G":[75,79,85],"with":[76],"\u22ac":[78,82,91],"\u00acG,":[83],"where":[84],"\u2194":[86],"\u00acProv_T(\u231cG\u231d).":[87],"II:":[89],"Con(T).":[92],"Rice's":[93],"theorem:":[94],"every":[95],"non-trivial":[96],"semantic":[97],"property":[98],"programs":[100],"undecidable.":[102],"CONNECTION:":[104],"Diagonalization":[105],"the":[107,116,128,131,135,141,157],"shared":[108],"engine":[109],"Cantor's":[111],"|\u211d|":[112],">":[113],"|\u2115|":[114],"via":[115],"anti-diagonal,":[117],"G\u00f6del's":[118],"arithmetized":[119],"self-reference,":[120],"Turing's":[121],"D(P).":[122],"This":[123],"*self-similar*":[126],"construction:":[127],"diagonal":[129],"fixed":[132,143],"point":[133,144],"negation":[136],"map,":[137],"structurally":[138],"analogous":[139],"to":[140],"golden-section":[142],"x":[145],"1/(1+":[147],"Author:":[148],"Andrew":[149],"Stewart":[150],"Caldin,":[151],"Independent":[152],"Researcher,":[153],"UK.":[154],"Part":[155],"E8":[158],"Intelligence":[159],"Research":[160],"series.":[161],"Platform:":[162],"e8intelligence.com":[163]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-11-05T00:00:00"}