{"id":"https://openalex.org/W7225586476","doi":"https://doi.org/10.5281/zenodo.24049066","title":"G\u00f6del's Incompleteness: True Statements Unprovable in Sufficiently Expressive Formal Systems \u2014 E8 Intelligence Research","display_name":"G\u00f6del's Incompleteness: True Statements Unprovable in Sufficiently Expressive Formal Systems \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225586476","doi":"https://doi.org/10.5281/zenodo.24049066"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24049066","doi":"https://doi.org/10.5281/zenodo.24049066","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24049066","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.24049066","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":0.6610999703407288,"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.6610999703407288,"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/T12170","display_name":"History and Theory of Mathematics","score":0.14059999585151672,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.07360000163316727,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.9710000157356262},{"id":"https://openalex.org/keywords/formal-systems","display_name":"formal systems","score":0.7099999785423279},{"id":"https://openalex.org/keywords/consistency","display_name":"consistency","score":0.6859999895095825},{"id":"https://openalex.org/keywords/e8-lattice","display_name":"E8 lattice","score":0.5569999814033508},{"id":"https://openalex.org/keywords/golden-ratio","display_name":"golden ratio","score":0.550000011920929},{"id":"https://openalex.org/keywords/crystal-symmetry","display_name":"crystal symmetry","score":0.800000011920929},{"id":"https://openalex.org/keywords/root-systems","display_name":"root systems","score":0.8700000047683716}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4832000136375427},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.47450000047683716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4713999927043915},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.43880000710487366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42170000076293945},{"id":"https://openalex.org/C171078966","wikidata":"https://www.wikidata.org/wiki/Q111029","display_name":"Root (linguistics)","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33660000562667847},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.32910001277923584},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3172000050544739},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.313400000333786},{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.29980000853538513},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.29649999737739563},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29420000314712524},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.28700000047683716},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2824999988079071},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.2750999927520752}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24049066","doi":"https://doi.org/10.5281/zenodo.24049066","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24049066","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.24049067","doi":"https://doi.org/10.5281/zenodo.24049067","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24049067","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.24049066","doi":"https://doi.org/10.5281/zenodo.24049066","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24049066","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/W7203742350","https://openalex.org/W7202130985","https://openalex.org/W7171981472","https://openalex.org/W7197047602","https://openalex.org/W7169713610","https://openalex.org/W7202257481","https://openalex.org/W7171545969","https://openalex.org/W7202355740","https://openalex.org/W7201977857","https://openalex.org/W7203859490"],"abstract_inverted_index":{"FINDING:":[0],"G\u00f6del's":[1],"incompleteness":[2,94],"theorem":[3,35],"establishes":[4],"that":[5,15,19],"any":[6],"consistent,":[7],"sufficiently":[8],"expressive":[9],"formal":[10],"system":[11],"contains":[12],"true":[13],"statements":[14],"are":[16,28],"unprovable":[17],"within":[18],"system.":[20],"MATH:":[21],"No":[22,48],"specific":[23],"equations,":[24],"constants,":[25],"or":[26,60,86],"ratios":[27],"presented":[29],"in":[30,65],"the":[31,34,66,92,105],"supplied":[32],"links;":[33],"is":[36,63],"expressed":[37],"meta\u2011mathematically":[38],"as":[39],"\u2203":[40],"\u03c6":[41],"(":[42],"True(\u03c6)":[43],"\u2227":[44],"\u00acProvable_S(\u03c6)":[45],").":[46],"CONNECTION:":[47],"explicit":[49],"connection":[50],"to":[51],"geometric":[52,89],"harmonics":[53],"(\u03c6\u2011ratios,":[54],"base\u201160,":[55],"crystallographic":[56],"symmetry,":[57],"root":[58],"systems,":[59],"lattice":[61],"structures)":[62],"indicated":[64],"provided":[67],"sources.":[68],"DEPTH:":[69],"3":[70],"\u2013":[71],"The":[72],"material":[73],"offers":[74],"explanatory":[75],"and":[76],"philosophical":[77],"context":[78],"but":[79],"does":[80],"not":[81],"advance":[82],"new":[83],"mathematical":[84],"structure":[85],"reveal":[87],"novel":[88],"relations":[90],"beyond":[91],"known":[93],"result.":[95],"Author:":[96],"Andrew":[97],"Stewart":[98],"Caldin,":[99],"Independent":[100],"Researcher,":[101],"UK.":[102],"Part":[103],"of":[104],"E8":[106],"Intelligence":[107],"Research":[108],"series.":[109],"Platform:":[110],"e8intelligence.com":[111]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}