{"id":"https://openalex.org/W2146153721","doi":"https://doi.org/10.1093/logcom/ext047","title":"Oracles that measure thresholds: the Turing machine and the broken balance","display_name":"Oracles that measure thresholds: the Turing machine and the broken balance","publication_year":2013,"publication_date":"2013-09-18","ids":{"openalex":"https://openalex.org/W2146153721","doi":"https://doi.org/10.1093/logcom/ext047","mag":"2146153721"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/ext047","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/ext047","pdf_url":"https://academic.oup.com/logcom/article-pdf/23/6/1155/3033488/ext047.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/23/6/1155/3033488/ext047.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037523032","display_name":"Edwin Beggs","orcid":"https://orcid.org/0000-0002-3139-0983"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"E. Beggs","raw_affiliation_strings":["Department of Mathematics, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK","Department of Mathematics, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK.E-mail: e.j.beggs@swansea.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK","institution_ids":["https://openalex.org/I39586589"]},{"raw_affiliation_string":"Department of Mathematics, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK.E-mail: e.j.beggs@swansea.ac.uk","institution_ids":["https://openalex.org/I39586589"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091292250","display_name":"Jos\u00e9 F\u00e9lix Costa","orcid":"https://orcid.org/0000-0002-0345-9904"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4405258431","display_name":"Centro de Filosofia das Ci\u00eancias","ror":"https://ror.org/00n1yyc49","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"J. F. Costa","raw_affiliation_strings":["Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de Lisboa","Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de LisboaE-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de Lisboa","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]},{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de LisboaE-mail:","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080058264","display_name":"Diogo Po\u00e7as","orcid":"https://orcid.org/0000-0002-5474-3614"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4405258431","display_name":"Centro de Filosofia das Ci\u00eancias","ror":"https://ror.org/00n1yyc49","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"D. Pocas","raw_affiliation_strings":["Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de Lisboa","Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de LisboaE-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de Lisboa","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]},{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, Portugal; Centro de Matem\u00e1tica e Aplica\u00e7\u00f5es Fundamentais do Complexo Interdisciplinar da Universidade de Lisboa; Centro de Filosofia das Ci\u00eancias da Universidade de LisboaE-mail:","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405258431"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103271292","display_name":"John V. Tucker","orcid":"https://orcid.org/0000-0003-4689-8760"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. V. Tucker","raw_affiliation_strings":["Department of Computer Science, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK","Department of Computer Science, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK","institution_ids":["https://openalex.org/I39586589"]},{"raw_affiliation_string":"Department of Computer Science, College of Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK.E-mail:","institution_ids":["https://openalex.org/I39586589"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.2807,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.9237551,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"23","issue":"6","first_page":"1155","last_page":"1181"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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.9994999766349792,"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.9789999723434448,"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.9775000214576721,"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/oracle","display_name":"Oracle","score":0.7983812093734741},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.7057717442512512},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7036296129226685},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.5723624229431152},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.557483971118927},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.5202314257621765},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49172595143318176},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4646088182926178},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.43489181995391846},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.42238226532936096},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.42161136865615845},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.18066442012786865},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.14936420321464539},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07739844918251038}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7983812093734741},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.7057717442512512},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7036296129226685},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5723624229431152},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.557483971118927},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.5202314257621765},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49172595143318176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4646088182926178},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.43489181995391846},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.42238226532936096},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.42161136865615845},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.18066442012786865},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.14936420321464539},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07739844918251038},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1093/logcom/ext047","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/ext047","pdf_url":"https://academic.oup.com/logcom/article-pdf/23/6/1155/3033488/ext047.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1429249","is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1429249","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University 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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:repositorio.ul.pt:10451/44310","is_oa":true,"landing_page_url":"http://hdl.handle.net/10451/44310","pdf_url":null,"source":{"id":"https://openalex.org/S4306401074","display_name":"Reposit\u00f3rio da Universidade de Lisboa (University of Lisbon)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I141596103","host_organization_name":"University of Lisbon","host_organization_lineage":["https://openalex.org/I141596103"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"doi:10.1093/logcom/ext047","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/ext047","pdf_url":"https://academic.oup.com/logcom/article-pdf/23/6/1155/3033488/ext047.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2146153721.pdf","grobid_xml":"https://content.openalex.org/works/W2146153721.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W166170480","https://openalex.org/W574136202","https://openalex.org/W611595212","https://openalex.org/W1496937667","https://openalex.org/W1528140509","https://openalex.org/W1924545549","https://openalex.org/W1981161833","https://openalex.org/W2067890769","https://openalex.org/W2101706058","https://openalex.org/W2121678646","https://openalex.org/W2125354785","https://openalex.org/W2127076297","https://openalex.org/W2146870677","https://openalex.org/W2152574408","https://openalex.org/W2157648736","https://openalex.org/W2206073461","https://openalex.org/W2261595620","https://openalex.org/W2404765322","https://openalex.org/W2498314664","https://openalex.org/W2500132846","https://openalex.org/W2523440281"],"related_works":["https://openalex.org/W4324016496","https://openalex.org/W2273345230","https://openalex.org/W4285436350","https://openalex.org/W4254404873","https://openalex.org/W3160192459","https://openalex.org/W4231495498","https://openalex.org/W1501224804","https://openalex.org/W3205891022","https://openalex.org/W2280616180","https://openalex.org/W4312201671"],"abstract_inverted_index":{"What":[0],"can":[1],"algorithms":[2],"compute":[3],"with":[4,27,46,49,131],"the":[5,44,67,103,109,119,135,155,158,161,166],"help":[6],"of":[7,69,82,102,115,141,157,160],"information":[8],"provided":[9],"by":[10,38,79],"an":[11],"oracle":[12,144],"that":[13,23,29,72,85,107],"is":[14],"a":[15,21,80,112,116],"physical":[16,31,70,98,143],"system?":[17],"We":[18],"have":[19],"developed":[20],"theory":[22],"combines":[24],"Turing":[25,167],"machines":[26],"experiments":[28],"perform":[30],"measurements":[32,84],"in":[33,138],"which":[34],"queries":[35],"are":[36,73,77],"governed":[37],"subtle":[39],"timing":[40],"protocols":[41],"and":[42,105,133],"provide":[43],"equipment":[45,106],"numerical":[47],"data":[48],"(i)":[50],"infinite":[51],"precision,":[52],"(ii)":[53],"finite":[54,60],"but":[55,61],"unbounded":[56],"precision":[57],"or":[58,90,100],"(iii)":[59],"fixed":[62],"precision.":[63],"Here,":[64],"we":[65,126],"consider":[66],"measurement":[68],"quantities":[71],"thresholds,":[74],"whose":[75],"values":[76],"obtained":[78],"sequence":[81],"approximate":[83],"converge":[86],"either":[87],"from":[88,91],"above":[89],"below.":[92],"The":[93],"thresholds":[94,132],"may":[95],"be":[96],"authentic":[97],"properties":[99],"artefacts":[101],"methods":[104,128],"performs":[108],"measurement.":[110],"Using":[111],"canonical":[113],"example":[114],"threshold":[117],"oracle,":[118],"broken":[120],"beam":[121],"balance":[122],"for":[123],"measuring":[124],"mass,":[125],"develop":[127],"to":[129],"cope":[130],"classify":[134],"computational":[136],"power":[137],"polynomial":[139],"time":[140],"this":[142],"using":[145],"non-uniform":[146],"complexity":[147,151],"classes.":[148],"Surprisingly,":[149],"new":[150],"classes":[152,164],"arise":[153],"illuminating":[154],"influence":[156],"operation":[159],"equipment.":[162],"All":[163],"break":[165],"Barrier.":[168]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-07-13T07:31:44.756512","created_date":"2025-10-10T00:00:00"}