{"id":"https://openalex.org/W7225006467","doi":"https://doi.org/10.5281/zenodo.23831076","title":"Lawvere's Fixed Point Theorem Unifies Cantor, Turing, Tarski, and G\u00f6del Diagonal Arguments \u2014 E8 Intelligence Research","display_name":"Lawvere's Fixed Point Theorem Unifies Cantor, Turing, Tarski, and G\u00f6del Diagonal Arguments \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7225006467","doi":"https://doi.org/10.5281/zenodo.23831076"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23831076","doi":"https://doi.org/10.5281/zenodo.23831076","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23831076","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.23831076","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.7050999999046326,"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.7050999999046326,"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.19370000064373016,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.037300001829862595,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/diagonal-argument","display_name":"diagonal argument","score":0.7900000214576721},{"id":"https://openalex.org/keywords/cantor-s-diagonal-argument","display_name":"Cantor's diagonal argument","score":0.8799999952316284},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.9509999752044678},{"id":"https://openalex.org/keywords/cartesian-closed-categories","display_name":"cartesian closed categories","score":0.9750000238418579},{"id":"https://openalex.org/keywords/exponential-objects","display_name":"exponential objects","score":0.7329999804496765},{"id":"https://openalex.org/keywords/fixed-points","display_name":"fixed points","score":0.6589999794960022},{"id":"https://openalex.org/keywords/golden-ratio","display_name":"golden ratio","score":0.6589999794960022},{"id":"https://openalex.org/keywords/self-reference","display_name":"self-reference","score":0.7129999995231628}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8154000043869019},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.666700005531311},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.6424999833106995},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.607200026512146},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C105720234","wikidata":"https://www.wikidata.org/wiki/Q5456331","display_name":"Fixed-point property","level":3,"score":0.526199996471405},{"id":"https://openalex.org/C27333817","wikidata":"https://www.wikidata.org/wiki/Q6134913","display_name":"Least fixed point","level":5,"score":0.5055999755859375},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46070000529289246},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.45730000734329224},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.39660000801086426},{"id":"https://openalex.org/C113313756","wikidata":"https://www.wikidata.org/wiki/Q332791","display_name":"Diagonal matrix","level":3,"score":0.37299999594688416},{"id":"https://openalex.org/C28642324","wikidata":"https://www.wikidata.org/wiki/Q656176","display_name":"Schauder fixed point theorem","level":4,"score":0.3725999891757965},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.357699990272522},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3508000075817108},{"id":"https://openalex.org/C146147875","wikidata":"https://www.wikidata.org/wiki/Q1144897","display_name":"Brouwer fixed-point theorem","level":3,"score":0.3409999907016754},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C134618013","wikidata":"https://www.wikidata.org/wiki/Q518524","display_name":"Kakutani fixed-point theorem","level":5,"score":0.32600000500679016},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.301800012588501},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C51691630","wikidata":"https://www.wikidata.org/wiki/Q3925833","display_name":"Hyperbolic equilibrium point","level":4,"score":0.2653000056743622}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23831076","doi":"https://doi.org/10.5281/zenodo.23831076","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23831076","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.23831077","doi":"https://doi.org/10.5281/zenodo.23831077","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23831077","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.23831076","doi":"https://doi.org/10.5281/zenodo.23831076","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23831076","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/W7224792231","https://openalex.org/W7214306279","https://openalex.org/W7218863850","https://openalex.org/W7224758220","https://openalex.org/W7214158127","https://openalex.org/W7224603522","https://openalex.org/W7220906065","https://openalex.org/W7225001449","https://openalex.org/W7224940180","https://openalex.org/W7225016676"],"abstract_inverted_index":{"FINDING:":[0],"Lawvere's":[1],"fixed":[2,35,69,139,150],"point":[3,36,140,151],"theorem":[4,89,123],"unifies":[5],"Cantor,":[6],"Turing,":[7],"Tarski,":[8],"and":[9],"G\u00f6del":[10],"diagonal":[11,58,104],"arguments":[12],"as":[13],"a":[14,34,138],"single":[15],"categorical":[16,109],"construction":[17],"in":[18,91,121,152],"Cartesian":[19,92],"closed":[20,93],"categories":[21,94],"|":[22,86],"MATH:":[23],"Given":[24],"f:":[25],"A":[26],"\u2192":[27,42,62],"B^A":[28,99],"(a":[29],"\"point-surjective\"":[30],"map),":[31],"there":[32],"exists":[33],"for":[37],"every":[38],"endomorphism":[39],"g:":[40],"B":[41,61],"B.":[43],"Formally:":[44],"if":[45],"f":[46],"is":[47,107,136,146],"surjective":[48],"onto":[49],"B^A,":[50],"then":[51],"\u2200g:":[52],"B\u2192B,":[53],"\u2203b\u2208B":[54],"with":[55,65],"g(b)=b.":[56],"The":[57,88,103,154],"map":[59],"\u0394:":[60,105],"B\u00d7B":[63],"composed":[64],"evaluation":[66],"yields":[67],"the":[68,96,108,112,122,126,130,147,165],"point.":[70],"Cantor:":[71],"A=\u2115,":[72],"B={0,1},":[73],"B^A=2^\u2115.":[74],"Turing:":[75],"A=\u2115":[76],"(programs),":[77],"B={0,1}":[78],"(halting).":[79],"Tarski:":[80],"A=set":[81],"of":[82,111,133,164],"sentences,":[83],"B=truth":[84],"values.":[85],"CONNECTION:":[87],"lives":[90],"where":[95],"exponential":[97],"object":[98],"encodes":[100],"function":[101],"spaces.":[102],"B\u2192B\u00d7B":[106],"dual":[110],"codiagonal.":[113],"No":[114],"direct":[115],"golden":[116],"ratio":[117],"or":[118],"base-60":[119],"connection":[120],"itself,":[124],"but":[125],"self-referential":[127],"structure":[128],"mirrors":[129],"fixed-point":[131],"property":[132],"\u03c6:":[134],"\u03c6\u00b2=\u03c6+1":[135],"itself":[137],"equation":[141],"x\u00b2=x+1,":[142],"i.e.,":[143],"x=1+1/x,":[144],"which":[145],"simplest":[148],"non-trivial":[149],"\u211d\u207a.":[153],"categ":[155],"Author:":[156],"Andrew":[157],"Stewart":[158],"Caldin,":[159],"Independent":[160],"Researcher,":[161],"UK.":[162],"Part":[163],"E8":[166],"Intelligence":[167],"Research":[168],"series.":[169],"Platform:":[170],"e8intelligence.com":[171]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-11-01T00:00:00"}