{"id":"https://openalex.org/W7204032183","doi":"https://doi.org/10.5281/zenodo.22063466","title":"Representation Precedes Solvability: An Epistemology of Knowledge, Computation, and Natural Problems","display_name":"Representation Precedes Solvability: An Epistemology of Knowledge, Computation, and Natural Problems","publication_year":2026,"publication_date":"2026-08-23","ids":{"openalex":"https://openalex.org/W7204032183","doi":"https://doi.org/10.5281/zenodo.22063466"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22063466","doi":"https://doi.org/10.5281/zenodo.22063466","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063466","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.22063466","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044045109","display_name":"Karim Daghbouche","orcid":"https://orcid.org/0000-0002-4351-2861","observed_orcids":["https://orcid.org/0000-0002-4351-2861"]},"institutions":[{"id":"https://openalex.org/I4405263739","display_name":"GridSAT Stiftung","ror":"https://ror.org/05mn98c95","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4405263739"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Daghbouche, Karim","raw_affiliation_strings":["GridSAT Stiftung"],"raw_orcid":"https://orcid.org/0000-0002-4351-2861","affiliations":[{"raw_affiliation_string":"GridSAT Stiftung","institution_ids":["https://openalex.org/I4405263739"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5044045109"],"corresponding_institution_ids":["https://openalex.org/I4405263739"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"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.8080999851226807,"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.8080999851226807,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.04050000011920929,"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/T10778","display_name":"Philosophy of Biology and Scientific Explanation","score":0.03500000014901161,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/representation-choice","display_name":"representation choice","score":0.8709999918937683},{"id":"https://openalex.org/keywords/problem-solving","display_name":"problem solving","score":0.5509999990463257},{"id":"https://openalex.org/keywords/transfer-theorem","display_name":"transfer theorem","score":0.6340000033378601},{"id":"https://openalex.org/keywords/semantic-preservation","display_name":"semantic preservation","score":0.40299999713897705},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.6679999828338623},{"id":"https://openalex.org/keywords/upper-bounds","display_name":"upper bounds","score":0.7279999852180481},{"id":"https://openalex.org/keywords/simulation","display_name":"simulation","score":0.4129999876022339},{"id":"https://openalex.org/keywords/scientific-representation","display_name":"scientific representation","score":0.8309999704360962},{"id":"https://openalex.org/keywords/graph-cuts","display_name":"graph cuts","score":0.5210000276565552},{"id":"https://openalex.org/keywords/reference-frames","display_name":"reference frames","score":0.32899999618530273},{"id":"https://openalex.org/keywords/epistemology-of-computation","display_name":"epistemology of computation","score":0.7179999947547913}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6136000156402588},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5465999841690063},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5249999761581421},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4787999987602234},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4618000090122223},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42399999499320984},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41850000619888306},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.34769999980926514},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.31839999556541443},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C193125573","wikidata":"https://www.wikidata.org/wiki/Q7449065","display_name":"Semantic interpretation","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C61151141","wikidata":"https://www.wikidata.org/wiki/Q7249983","display_name":"Proof-theoretic semantics","level":5,"score":0.27709999680519104},{"id":"https://openalex.org/C2778828372","wikidata":"https://www.wikidata.org/wiki/Q5283209","display_name":"Distributional semantics","level":3,"score":0.27390000224113464},{"id":"https://openalex.org/C84750791","wikidata":"https://www.wikidata.org/wiki/Q3427408","display_name":"Dual representation","level":3,"score":0.2727999985218048},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26260000467300415},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.2574999928474426},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2526000142097473},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22063466","doi":"https://doi.org/10.5281/zenodo.22063466","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063466","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.22063467","doi":"https://doi.org/10.5281/zenodo.22063467","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063467","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.22063466","doi":"https://doi.org/10.5281/zenodo.22063466","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063466","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":7,"referenced_works":["https://openalex.org/W7203972353","https://openalex.org/W7203982666","https://openalex.org/W7204000955","https://openalex.org/W7204006362","https://openalex.org/W7204012386","https://openalex.org/W7204031183","https://openalex.org/W7204047168"],"related_works":["https://openalex.org/W2522547266","https://openalex.org/W2785790862","https://openalex.org/W3200686245","https://openalex.org/W4206394363","https://openalex.org/W2077548936","https://openalex.org/W260530230","https://openalex.org/W2064845711","https://openalex.org/W7140225262","https://openalex.org/W4206988211","https://openalex.org/W3009532628"],"abstract_inverted_index":{"This":[0,113,193],"paper":[1],"develops":[2],"an":[3,59,69,115,160,185,190],"operational":[4,191],"account":[5],"of":[6,135],"representation":[7,34,89,216],"choice":[8],"in":[9,27,107],"problem":[10,18,62],"solving":[11],"and":[12,24,49,75,132,208],"model-relative":[13],"complexity.":[14],"A":[15,79,138,174],"well-formed":[16],"mathematical":[17,144],"may":[19],"already":[20],"have":[21],"determinate":[22],"semantics":[23],"solvability":[25],"questions":[26],"its":[28],"native":[29],"formal":[30],"model.":[31,78],"The":[32,123],"additional":[33],"index":[35],"becomes":[36],"essential":[37],"when":[38],"one":[39],"changes":[40],"encodings,":[41],"proof":[42],"systems,":[43],"computational":[44],"models,":[45],"or":[46,53],"physical":[47,194],"realizations":[48],"asks":[50],"which":[51],"semantic":[52,202],"resource":[54,77,100],"conclusions":[55],"transfer.":[56],"We":[57],"define":[58],"admissible":[60],"represented":[61],"by":[63],"specifying":[64],"instance":[65],"semantics,":[66],"uniform":[67],"preparation,":[68],"Exact":[70],"Semantic":[71],"Carrier,":[72],"dynamics,":[73,205],"readout,":[74],"a":[76,119,147,166,171,197,214],"transfer":[80,93],"theorem":[81],"makes":[82],"explicit":[83,161],"the":[84,98,108,143,151,156],"elementary":[85],"composition":[86],"principle":[87],"underlying":[88],"changes:":[90],"upper":[91],"bounds":[92,104],"through":[94],"semantics-preserving":[95],"simulations":[96,106],"with":[97],"required":[99],"bounds,":[101],"while":[102,165],"lower":[103],"require":[105],"logically":[109],"appropriate":[110],"reverse":[111],"direction.":[112],"is":[114,125,154],"audit":[116],"principle,":[117],"not":[118],"new":[120],"representation-invariance":[121],"theorem.":[122],"framework":[124],"situated":[126],"relative":[127],"to":[128],"structural,":[129],"inferential,":[130],"perspectival,":[131],"pragmatic":[133],"accounts":[134],"scientific":[136],"representation.":[137],"Tseitin":[139],"parity":[140],"example":[141],"supplies":[142],"anchor:":[145],"for":[146,159],"residual":[148],"graph":[149],"cut,":[150],"component-syndrome":[152],"vector":[153],"exactly":[155],"full-response":[157],"carrier":[158],"component-charge":[162],"query":[163,169],"family,":[164],"single":[167],"extension":[168],"induces":[170],"coarser":[172],"quotient.":[173],"global":[175],"scalar-energy-shift":[176],"argument":[177],"shows":[178],"that":[179],"normalized":[180],"state":[181],"data":[182],"cannot":[183],"determine":[184],"absolute":[186],"spectral":[187],"offset":[188],"without":[189],"reference.":[192],"case":[195],"illustrates":[196],"broader":[198],"distinction":[199],"between":[200],"static":[201],"representation,":[203],"compatible":[204],"efficient":[206],"convergence,":[207],"robust":[209],"referenced":[210],"readout:":[211],"each":[212],"constitutes":[213],"separate":[215],"obligation.":[217]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-10-08T09:06:37.294493","created_date":"2026-08-24T00:00:00"}