{"id":"https://openalex.org/W7204209337","doi":"https://doi.org/10.5281/zenodo.22090857","title":"The Halting Probability: An Oracle of Unprovable Truths \u2014 E8 Intelligence Research","display_name":"The Halting Probability: An Oracle of Unprovable Truths \u2014 E8 Intelligence Research","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204209337","doi":"https://doi.org/10.5281/zenodo.22090857"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22090857","doi":"https://doi.org/10.5281/zenodo.22090857","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22090857","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.22090857","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":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":0.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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/chaitin-s-omega","display_name":"Chaitin's Omega","score":0.9700000286102295},{"id":"https://openalex.org/keywords/halting-probability","display_name":"halting probability","score":0.996999979019165},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"universal Turing machine","score":0.9070000052452087},{"id":"https://openalex.org/keywords/algorithmic-randomness","display_name":"algorithmic randomness","score":0.8949999809265137},{"id":"https://openalex.org/keywords/martin-lof-randomness","display_name":"Martin-L\u00f6f randomness","score":0.9520000219345093},{"id":"https://openalex.org/keywords/kolmogorov-complexity","display_name":"Kolmogorov complexity","score":0.9919999837875366},{"id":"https://openalex.org/keywords/godel-s-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.7400000095367432},{"id":"https://openalex.org/keywords/formal-systems","display_name":"formal systems","score":0.6930000185966492},{"id":"https://openalex.org/keywords/maximum-entropy","display_name":"maximum entropy","score":0.7039999961853027},{"id":"https://openalex.org/keywords/e8","display_name":"E8","score":0.7200000286102295}],"concepts":[{"id":"https://openalex.org/C2779341405","wikidata":"https://www.wikidata.org/wiki/Q1456811","display_name":"Kolmogorov complexity","level":2,"score":0.6388999819755554},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.6169999837875366},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5249999761581421},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4880000054836273},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4839000105857849},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.4648999869823456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4426000118255615},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.4327000081539154},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.41110000014305115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38359999656677246},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.3700999915599823},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.35120001435279846},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.3497999906539917},{"id":"https://openalex.org/C119322782","wikidata":"https://www.wikidata.org/wiki/Q2662236","display_name":"VC dimension","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C189645446","wikidata":"https://www.wikidata.org/wiki/Q350865","display_name":"Mirroring","level":2,"score":0.3441999852657318},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3434000015258789},{"id":"https://openalex.org/C77265313","wikidata":"https://www.wikidata.org/wiki/Q879844","display_name":"Rest (music)","level":2,"score":0.32580000162124634},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.31189998984336853},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3052000105381012},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30469998717308044},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2888000011444092},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C44492722","wikidata":"https://www.wikidata.org/wiki/Q327069","display_name":"Conditional probability","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C179061269","wikidata":"https://www.wikidata.org/wiki/Q5263786","display_name":"Description number","level":5,"score":0.2732999920845032},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C186515451","wikidata":"https://www.wikidata.org/wiki/Q228191","display_name":"Random sequence","level":3,"score":0.2551000118255615},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.25369998812675476},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22090857","doi":"https://doi.org/10.5281/zenodo.22090857","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22090857","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":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22090858","doi":"https://doi.org/10.5281/zenodo.22090858","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22090858","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":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22090857","doi":"https://doi.org/10.5281/zenodo.22090857","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22090857","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":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"FINDING:":[0],"Chaitin's":[1,81],"Omega":[2],"(\u03a9)":[3],"is":[4,46,112,122,130,135],"a":[5,14,26,90,123],"definable":[6],"real":[7],"number":[8],"encoding":[9],"the":[10,75,101,143,168],"halting":[11],"probability":[12,140],"of":[13,51,72,100,120,167],"universal":[15],"Turing":[16],"machine,":[17],"whose":[18],"bits":[19,54,71],"are":[20,77,150],"algorithmically":[21],"random":[22,48],"(incompressible),":[23],"making":[24],"it":[25],"formal-system-independent":[27],"oracle":[28],"for":[29,58,84,106],"unprovable":[30],"truths.":[31],"|":[32,115],"MATH:":[33],"\u03a9":[34,45,73,121],"=":[35],"\u03a3_{p":[36],"halts}":[37],"2^{-|p|},":[38],"where":[39,110],"p":[40],"ranges":[41],"over":[42],"self-delimiting":[43],"programs;":[44],"Martin-L\u00f6f":[47],"(Kolmogorov":[49],"complexity":[50],"first":[52],"n":[53],"\u2248":[55],"n),":[56],"and":[57],"any":[59,85,98,107],"consistent":[60],"formal":[61,86],"system":[62],"S,":[63],"S":[64,95],"can":[65],"determine":[66],"at":[67],"most":[68],"O(log":[69],"|S|)":[70],"\u2014":[74,126],"rest":[76],"\"unknowable\"":[78],"in":[79,147],"S.":[80],"Incompleteness":[82],"Theorem:":[83],"system,":[87],"there":[88],"exists":[89],"constant":[91],"L":[92],"such":[93],"that":[94,148],"cannot":[96],"prove":[97],"statement":[99],"form":[102],"\"K(s)":[103],">":[104],"L\"":[105],"string":[108],"s,":[109],"K":[111],"Kolmogorov":[113],"complexity.":[114],"CONNECTION:":[116],"The":[117],"binary":[118],"expansion":[119],"maximal-entropy":[124],"sequence":[125],"its":[127],"bit":[128,134],"distribution":[129],"asymptotically":[131],"uniform":[132],"(each":[133],"0":[136],"or":[137],"1":[138],"with":[139],"1/2),":[141],"mirroring":[142],"golden-ratio's":[144],"irrationality":[145],"measure":[146],"both":[149],"\"maximally":[151],"disordered\"":[152],"yet":[153],"exactly":[154],"definable.":[155],"However,":[156],"no":[157],"dire":[158],"Author:":[159],"Andrew":[160],"Stewart":[161],"Caldin,":[162],"Independent":[163],"Researcher,":[164],"UK.":[165],"Part":[166],"E8":[169],"Intelligence":[170],"Research":[171],"series.":[172],"Platform:":[173],"e8intelligence.com":[174]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-26T00:00:00"}