{"id":"https://openalex.org/W7124317953","doi":"https://doi.org/10.48550/arxiv.2601.08845","title":"No Universal Hyperbola: A Formal Disproof of the Epistemic Trade-Off Between Certainty and Scope in Symbolic and Generative AI","display_name":"No Universal Hyperbola: A Formal Disproof of the Epistemic Trade-Off Between Certainty and Scope in Symbolic and Generative AI","publication_year":2025,"publication_date":"2025-12-21","ids":{"openalex":"https://openalex.org/W7124317953","doi":"https://doi.org/10.48550/arxiv.2601.08845"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:18444320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arXiv.2601.08845","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,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arXiv.2601.08845","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117532034","display_name":"Generoso Immediato","orcid":"https://orcid.org/0009-0006-0294-6264"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Immediato, Generoso","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5117532034"],"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.9886999726295471,"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.9886999726295471,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.001500000013038516,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.0013000000035390258,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/certainty","display_name":"Certainty","score":0.7293000221252441},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6039000153541565},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5551000237464905},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.554099977016449},{"id":"https://openalex.org/keywords/kolmogorov-complexity","display_name":"Kolmogorov complexity","score":0.5407999753952026},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5403000116348267},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4278999865055084},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.42179998755455017},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.3970000147819519}],"concepts":[{"id":"https://openalex.org/C7493553","wikidata":"https://www.wikidata.org/wiki/Q1520777","display_name":"Certainty","level":2,"score":0.7293000221252441},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6039000153541565},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5551000237464905},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.554099977016449},{"id":"https://openalex.org/C2779341405","wikidata":"https://www.wikidata.org/wiki/Q1456811","display_name":"Kolmogorov complexity","level":2,"score":0.5407999753952026},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5403000116348267},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4984999895095825},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.46000000834465027},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4278999865055084},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.42179998755455017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4205000102519989},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.3970000147819519},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.39469999074935913},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.3887999951839447},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.33970001339912415},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3384999930858612},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.3260999917984009},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.31369999051094055},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2904999852180481},{"id":"https://openalex.org/C2780589192","wikidata":"https://www.wikidata.org/wiki/Q7285140","display_name":"Raising (metalworking)","level":2,"score":0.2879999876022339},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2858999967575073},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25839999318122864}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:18444320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arXiv.2601.08845","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,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2601.08845","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.08845","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:18444320","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arXiv.2601.08845","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,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"direct":[1],"response":[2],"to":[3,93,122],"requests":[4],"for":[5],"a":[6,15,112,118,132,143],"logico-mathematical":[7],"test":[8],"of":[9,56,60],"the":[10,43,48,54,57,61,81,123,136,148,157],"conjecture,":[11],"we":[12,76],"formally":[13],"disprove":[14],"recently":[16],"conjectured":[17],"artificial":[18],"intelligence":[19],"trade-off":[20],"between":[21],"epistemic":[22,158],"certainty":[23,159],"and":[24,37,51,63,72,97,155],"scope":[25,52,150],"in":[26,35],"its":[27],"published":[28,137],"universal":[29,127],"hyperbolic":[30],"product":[31],"form,":[32],"as":[33,42,53,131],"introduced":[34],"Philosophy":[36],"Technology.":[38],"Certainty":[39],"is":[40,83,102,109],"defined":[41],"worst-case":[44],"correctness":[45],"probability":[46],"over":[47],"input":[49,62],"space,":[50],"sum":[55],"Kolmogorov":[58,89,106,149],"complexities":[59],"output":[64],"sets.":[65],"Using":[66],"standard":[67],"facts":[68],"from":[69],"coding":[70],"theory":[71],"algorithmic":[73],"information":[74],"theory,":[75],"show,":[77],"first,":[78],"that":[79,99,142],"when":[80,100],"conjecture":[82],"instantiated":[84,103],"with":[85,104,151],"prefix":[86],"(self-delimiting,":[87],"prefix-free)":[88],"complexity,":[90,107],"it":[91,101,108],"leads":[92],"an":[94],"internal":[95],"inconsistency,":[96],"second,":[98],"plain":[105],"refuted":[110],"by":[111],"constructive":[113],"counterexample.":[114],"These":[115],"results":[116],"establish":[117],"main":[119],"theorem:":[120],"contrary":[121],"conjecture's":[124],"claim,":[125],"no":[126],"\"certainty-scope\"":[128],"hyperbola":[129],"holds":[130],"general":[133],"bound":[134],"under":[135],"definitions.":[138],"We":[139],"further":[140],"show":[141],"subsequent":[144],"\"entropy-based\"":[145],"revision,":[146],"replacing":[147],"Shannon":[152],"joint":[153],"entropy":[154],"redefining":[156],"level":[160],"accordingly,":[161],"cannot":[162],"restore":[163],"universality":[164],"either.":[165]},"counts_by_year":[],"updated_date":"2026-04-07T06:01:17.266235","created_date":"2026-01-16T00:00:00"}