{"id":"https://openalex.org/W7223853472","doi":"https://doi.org/10.5281/zenodo.23684844","title":"G\u00f6del's Incompleteness: Unprovable Truths and Unprovable Consistency in Formal Systems \u2014 E8 Intelligence Research","display_name":"G\u00f6del's Incompleteness: Unprovable Truths and Unprovable Consistency in Formal Systems \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-10-27","ids":{"openalex":"https://openalex.org/W7223853472","doi":"https://doi.org/10.5281/zenodo.23684844"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23684844","doi":"https://doi.org/10.5281/zenodo.23684844","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23684844","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.23684844","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136862907","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/A5136862907"],"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.6801999807357788,"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.6801999807357788,"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.16429999470710754,"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.04729999974370003,"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/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.996999979019165},{"id":"https://openalex.org/keywords/consistency-of-formal-systems","display_name":"consistency of formal systems","score":0.7889999747276306},{"id":"https://openalex.org/keywords/self-reference","display_name":"self-reference","score":0.6679999828338623},{"id":"https://openalex.org/keywords/diagonal-lemma","display_name":"diagonal lemma","score":0.9750000238418579},{"id":"https://openalex.org/keywords/fixed-points","display_name":"fixed points","score":0.5040000081062317},{"id":"https://openalex.org/keywords/lawvere-fixed-point-theorem","display_name":"Lawvere fixed-point theorem","score":0.843999981880188},{"id":"https://openalex.org/keywords/peano-arithmetic","display_name":"Peano arithmetic","score":0.8220000267028809},{"id":"https://openalex.org/keywords/formal-systems","display_name":"formal systems","score":0.3779999911785126}],"concepts":[{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.6473000049591064},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6017000079154968},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5351999998092651},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5174999833106995},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.4650000035762787},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.45410001277923584},{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.41609999537467957},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4138999879360199},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.3190000057220459},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3174000084400177},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3077000081539154},{"id":"https://openalex.org/C173734053","wikidata":"https://www.wikidata.org/wiki/Q47577","display_name":"Fibonacci number","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.29190000891685486},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2728999853134155},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.2549000084400177},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23684844","doi":"https://doi.org/10.5281/zenodo.23684844","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23684844","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.23684845","doi":"https://doi.org/10.5281/zenodo.23684845","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23684845","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.23684844","doi":"https://doi.org/10.5281/zenodo.23684844","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23684844","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/W7212424486","https://openalex.org/W7220927896","https://openalex.org/W7202144315","https://openalex.org/W7208837548","https://openalex.org/W7171545969","https://openalex.org/W7203743036","https://openalex.org/W7221654687","https://openalex.org/W7222926381","https://openalex.org/W7204460970","https://openalex.org/W7214287776"],"abstract_inverted_index":{"FINDING:":[0],"G\u00f6del's":[1],"Incompleteness":[2],"Theorems":[3],"establish":[4],"that":[5,44],"any":[6],"consistent,":[7,39,64],"sufficiently":[8],"expressive":[9],"formal":[10,28],"system":[11,29],"contains":[12],"true":[13,92],"statements":[14],"unprovable":[15],"within":[16],"the":[17,88,109,145],"system,":[18],"and":[19,48],"cannot":[20],"prove":[21],"its":[22],"own":[23],"consistency":[24,86],"|":[25,94],"MATH:":[26],"For":[27],"F":[30,37,45,49,62,65],"\u2287":[31],"PA":[32],"(Peano":[33],"Arithmetic):":[34],"(1)":[35],"If":[36,61],"is":[38,63,115,130],"\u2203":[40],"sentence":[41],"G_F":[42,47,53],"such":[43],"\u22ac":[46,50,66],"\u00acG_F,":[51],"where":[52,68],"\u2194":[54],"\u00acProv_F(\u231cG_F\u231d)":[55],"(diagonal":[56],"lemma":[57],"fixed":[58],"point).":[59],"(2)":[60],"Con(F),":[67],"Con(F)":[69],"\u2261":[70],"\u00acProv_F(\u231c0=1\u231d).":[71],"Generalization":[72],"(G\u00f6del-Rosser,":[73],"arXiv:1506.02790v3):":[74],"extends":[75],"to":[76,99],"definable":[77],"non-r.e.":[78],"theories":[79],"via":[80],"\u03a3_n-soundness;":[81],"uses":[82],"syntactic-semantic":[83],"notions":[84],"of":[85,90,144],"with":[87],"set":[89],"all":[91],"\u03a0_n-sentences":[93],"CONNECTION:":[95],"No":[96],"direct":[97],"connection":[98],"\u03c6":[100],"(0.618),":[101],"Fibonacci":[102],"ratios,":[103],"base-60,":[104],"or":[105],"crystallographic/root-system":[106],"symmetries":[107],"in":[108,125],"evidence.":[110],"The":[111],"relevant":[112],"structural":[113],"analogy":[114],"self-reference":[116],"/":[117],"diagonalization":[118],"(Cantor's":[119],"diagonal":[120],"argument,":[121],"Lawvere":[122],"fixed-point":[123,133],"theorem":[124],"cartesian":[126],"closed":[127],"categories),":[128],"which":[129],"a":[131],"categorical/topological":[132],"phenomenon,":[134],"no":[135],"Author:":[136],"Andrew":[137],"Stewart":[138],"Caldin,":[139],"Independent":[140],"Researcher,":[141],"UK.":[142],"Part":[143],"E8":[146],"Intelligence":[147],"Research":[148],"series.":[149],"Platform:":[150],"e8intelligence.com":[151]},"counts_by_year":[],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2026-10-28T00:00:00"}