{"id":"https://openalex.org/W4285151644","doi":"https://doi.org/10.1109/tit.2022.3172837","title":"On Non-Detectability of Non-Computability and the Degree of Non-Computability of Solutions of Circuit and Wave Equations on Digital Computers","display_name":"On Non-Detectability of Non-Computability and the Degree of Non-Computability of Solutions of Circuit and Wave Equations on Digital Computers","publication_year":2022,"publication_date":"2022-05-05","ids":{"openalex":"https://openalex.org/W4285151644","doi":"https://doi.org/10.1109/tit.2022.3172837"},"language":"en","primary_location":{"id":"doi:10.1109/tit.2022.3172837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2022.3172837","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000732219","display_name":"Holger Boche","orcid":"https://orcid.org/0000-0002-8375-8946"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Holger Boche","raw_affiliation_strings":["Chair of Theoretical Information Technology, Technical University of Munich, München, Germany"],"raw_orcid":"https://orcid.org/0000-0002-8375-8946","affiliations":[{"raw_affiliation_string":"Chair of Theoretical Information Technology, Technical University of Munich, München, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034863939","display_name":"Volker Pohl","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Volker Pohl","raw_affiliation_strings":["Chair of Theoretical Information Technology, Technical University of Munich, München, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9852-9687","affiliations":[{"raw_affiliation_string":"Chair of Theoretical Information Technology, Technical University of Munich, München, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000732219"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.9143,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.77141396,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"68","issue":"8","first_page":"5561","last_page":"5578"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9987999796867371,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9948999881744385,"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/computability","display_name":"Computability","score":0.8937603235244751},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.8167684078216553},{"id":"https://openalex.org/keywords/differentiable-function","display_name":"Differentiable function","score":0.609902024269104},{"id":"https://openalex.org/keywords/super-recursive-algorithm","display_name":"Super-recursive algorithm","score":0.5125991702079773},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.4973180592060089},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.4822293221950531},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47668027877807617},{"id":"https://openalex.org/keywords/probabilistic-turing-machine","display_name":"Probabilistic Turing machine","score":0.47634199261665344},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4340669810771942},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4290698170661926},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4167472720146179},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.356212854385376},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21108552813529968},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1451587975025177}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.8937603235244751},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.8167684078216553},{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.609902024269104},{"id":"https://openalex.org/C31402856","wikidata":"https://www.wikidata.org/wiki/Q5295939","display_name":"Super-recursive algorithm","level":5,"score":0.5125991702079773},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.4973180592060089},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.4822293221950531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47668027877807617},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.47634199261665344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4340669810771942},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4290698170661926},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4167472720146179},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.356212854385376},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21108552813529968},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1451587975025177},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tit.2022.3172837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2022.3172837","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1658222","is_oa":false,"landing_page_url":"https://mediatum.ub.tum.de/1658222","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1044383811","display_name":null,"funder_award_id":"16ME0442","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G1779706142","display_name":null,"funder_award_id":"EXC-2111-390814868","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3032153393","display_name":null,"funder_award_id":"16KIS1003K","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G3465339082","display_name":null,"funder_award_id":"16KISK002","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4598398603","display_name":null,"funder_award_id":"PO 1347/3-2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W9167880","https://openalex.org/W1497475168","https://openalex.org/W1594563152","https://openalex.org/W1827134935","https://openalex.org/W1958506772","https://openalex.org/W1975240899","https://openalex.org/W1981198727","https://openalex.org/W1981203901","https://openalex.org/W1999785435","https://openalex.org/W2012353182","https://openalex.org/W2014107656","https://openalex.org/W2022731279","https://openalex.org/W2023572360","https://openalex.org/W2032280027","https://openalex.org/W2043723475","https://openalex.org/W2044315075","https://openalex.org/W2052388820","https://openalex.org/W2057318576","https://openalex.org/W2060301675","https://openalex.org/W2071846104","https://openalex.org/W2074380651","https://openalex.org/W2077151136","https://openalex.org/W2078301658","https://openalex.org/W2079942928","https://openalex.org/W2087443598","https://openalex.org/W2090828985","https://openalex.org/W2096381299","https://openalex.org/W2099000905","https://openalex.org/W2102175125","https://openalex.org/W2112248775","https://openalex.org/W2117218135","https://openalex.org/W2126160338","https://openalex.org/W2129131372","https://openalex.org/W2133553149","https://openalex.org/W2134332047","https://openalex.org/W2137147061","https://openalex.org/W2141776905","https://openalex.org/W2159989367","https://openalex.org/W2161290234","https://openalex.org/W2163081291","https://openalex.org/W2165412731","https://openalex.org/W2167273972","https://openalex.org/W2170740940","https://openalex.org/W2323777246","https://openalex.org/W2324440993","https://openalex.org/W2502794726","https://openalex.org/W2804728090","https://openalex.org/W2883716326","https://openalex.org/W2896122000","https://openalex.org/W2942914667","https://openalex.org/W2945583055","https://openalex.org/W2949342341","https://openalex.org/W2964182335","https://openalex.org/W2964363198","https://openalex.org/W2999398601","https://openalex.org/W3001380073","https://openalex.org/W3015541541","https://openalex.org/W3033930426","https://openalex.org/W3039656528","https://openalex.org/W3081947053","https://openalex.org/W3099242402","https://openalex.org/W3105161874","https://openalex.org/W3122902615","https://openalex.org/W3126309056","https://openalex.org/W3171533739","https://openalex.org/W3192671710","https://openalex.org/W4231629838","https://openalex.org/W4232277851","https://openalex.org/W4239495391","https://openalex.org/W4243563333","https://openalex.org/W4250253042","https://openalex.org/W4250955649","https://openalex.org/W4300922781"],"related_works":["https://openalex.org/W2547364878","https://openalex.org/W1662868588","https://openalex.org/W1760285719","https://openalex.org/W2348596562","https://openalex.org/W3014863312","https://openalex.org/W293759077","https://openalex.org/W195780958","https://openalex.org/W2044455065","https://openalex.org/W4238214510","https://openalex.org/W4212859565"],"abstract_inverted_index":{"It":[0,174],"is":[1,22,64,87,114,117,184,219,223,242],"known":[2],"that":[3,66,178,221,244],"there":[4],"exist":[5],"mathematical":[6],"problems":[7,247],"of":[8,25,29,39,44,47,73,81,97,101,110,127,138,172,180,199,204,211,235,257],"practical":[9,108],"relevance":[10],"which":[11],"cannot":[12],"be":[13,176],"computed":[14],"on":[15,56],"a":[16,67,107,153,188],"Turing":[17,68,146,158,189],"machine.":[18],"An":[19],"important":[20],"example":[21],"the":[23,26,37,40,45,48,52,59,74,79,82,94,98,112,128,145,157,165,169,181,197,201,212,232,236],"calculation":[24],"first":[27,41,49,75,99,129,182,237],"derivative":[28,50,76,100,183],"continuously":[30,102],"differentiable":[31,103],"functions.":[32,104],"This":[33,131],"paper":[34,60,132],"precisely":[35],"classifies":[36],"non-computability":[38,72,126,179],"derivative,":[42],"and":[43,84,152,162,208,262],"maximum-norm":[46],"in":[51],"Zheng-Weihrauch":[53],"hierarchy.":[54],"Based":[55],"this":[57,71],"classification,":[58],"investigates":[61],"whether":[62,85,115],"it":[63,86,116,218,222,241],"possible":[65,88,118],"machine":[69,147,159,190],"detects":[70],"by":[77,187],"observing":[78,125],"data":[80],"problem,":[83],"to":[89,119,150,226],"detect":[90,227],"upper":[91,229],"bounds":[92],"for":[93,124,191,196,209,231,260],"peak":[95],"value":[96],"So":[105],"from":[106],"point":[109],"view,":[111],"question":[113],"implement":[120],"an":[121,228],"exit-flag":[122,139],"functionality":[123],"derivative.":[130,238],"even":[133,224,250],"studies":[134],"two":[135,192],"different":[136],"types":[137],"functionality.":[140],"A":[141],"strong":[142],"one,":[143,155],"where":[144,156],"always":[148],"has":[149],"stop,":[151],"weak":[154],"stops":[160],"if":[161,164],"only":[163],"input":[166],"lies":[167],"within":[168],"corresponding":[170],"set":[171],"interest.":[173],"will":[175],"shown":[177,220,243],"not":[185,249],"detectable":[186],"concrete":[193],"examples,":[194],"namely":[195],"problem":[198],"computing":[200],"input\u2013output":[202],"behavior":[203],"simple":[205],"analog":[206,261],"circuits":[207],"solutions":[210],"three-dimensional":[213],"wave":[214],"equation.":[215],"In":[216,239],"addition,":[217],"impossible":[225],"bound":[230],"maximum":[233],"norm":[234],"particular,":[240],"all":[245],"three":[246],"are":[248],"semidecidable.":[251],"Finally,":[252],"we":[253],"briefly":[254],"discuss":[255],"implications":[256],"these":[258],"results":[259],"quantum":[263],"computing.":[264]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2}],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2022-07-14T00:00:00"}