{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:39Z","timestamp":1762459239802},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T00:00:00Z","timestamp":1410220800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2014,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We have begun a theory of measurement in which an experimenter and his or her experimental procedure are modeled by algorithms that interact with physical equipment through a simple abstract interface. The theory is based upon using models of physical equipment as oracles to Turing machines. This allows us to investigate the computability and computational complexity of measurement processes. We examine eight different experiments that make measurements and, by introducing the idea of an observable indicator, we identify three distinct forms of measurement process and three types of measurement algorithm. We give axiomatic specifications of three forms of interfaces that enable the three types of experiment to be used as oracles to Turing machines, and lemmas that help certify an experiment satisfies the axiomatic specifications. For experiments that satisfy our axiomatic specifications, we give lower bounds on the computational power of Turing machines in polynomial time using nonuniform complexity classes. These lower bounds break the barrier defined by the Church-Turing Thesis.<\/jats:p>","DOI":"10.1017\/s1755020314000240","type":"journal-article","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T10:51:53Z","timestamp":1410259913000},"page":"618-646","source":"Crossref","is-referenced-by-count":8,"title":["THREE FORMS OF PHYSICAL MEASUREMENT AND THEIR COMPUTABILITY"],"prefix":"10.1017","volume":"7","author":[{"given":"EDWIN","family":"BEGGS","sequence":"first","affiliation":[]},{"given":"JOS\u00c9 F\u00c9LIX","family":"COSTA","sequence":"additional","affiliation":[]},{"given":"JOHN V","family":"TUCKER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,9,9]]},"reference":[{"key":"S1755020314000240_ref29","volume-title":"Foundations of Measurement. Vol. III: Representation, axiomatization and invariance","author":"Krantz","year":"2007b"},{"key":"S1755020314000240_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00066-8"},{"key":"S1755020314000240_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01886519"},{"key":"S1755020314000240_ref12","first-page":"155","volume-title":"Causality, meaningful complexity and knowledge construction","volume":"46","author":"Beggs","year":"2010a"},{"key":"S1755020314000240_ref4","first-page":"231","volume-title":"Handbook of survey research","author":"Basilevsky","year":"1983"},{"key":"S1755020314000240_ref23","volume-title":"Foundations of science, the philosophy of theory and experiment","author":"Campbell","year":"1957"},{"key":"S1755020314000240_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39074-6_3"},{"key":"S1755020314000240_ref8","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2008.0412"},{"key":"S1755020314000240_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext047"},{"key":"S1755020314000240_ref5","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2008.0085"},{"key":"S1755020314000240_ref17","first-page":"853","article-title":"The impact of models of a physical oracle on computational power","volume":"22","author":"Beggs","year":"2012b","journal-title":"Mathematical Structures in Computer Science (Special issue on Computability of the Physical, eds. Calude, C. S. and Cooper, S. B.)"},{"key":"S1755020314000240_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79228-4_2"},{"key":"S1755020314000240_ref28","volume-title":"Foundations of Measurement. Vol. I: Additive and polynomial representations","author":"Krantz","year":"2007a"},{"key":"S1755020314000240_ref27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6610.001.0001","volume-title":"Systems That Learn. An Introduction to Learning Theory","author":"Jain","year":"1999"},{"key":"S1755020314000240_ref15","first-page":"62","volume-title":"Physics and computation, PandC 2010","author":"Beggs","year":"2010d"},{"key":"S1755020314000240_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75357-2"},{"key":"S1755020314000240_ref21","volume-title":"Principles of optics: electromagnetic theory of propagation, interference and diffraction of light","author":"Born","year":"1964"},{"key":"S1755020314000240_ref24","volume-title":"Philosophical foundations of physics","author":"Carnap","year":"1966"},{"key":"S1755020314000240_ref11","unstructured":"Beggs E. , Costa J. F. , Po\u00e7as D. , & Tucker J. V . (2014). Computations with oracles that measure vanishing quantities, Submitted."},{"key":"S1755020314000240_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-2030-5_4"},{"key":"S1755020314000240_ref33","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"42","author":"Turing","year":"1936","journal-title":"Proceedings of the London Mathematical Society"},{"key":"S1755020314000240_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0707-8"},{"key":"S1755020314000240_ref32","volume-title":"Foundations of Measurement. Vol. II: Geometric, threshold and probabilistic representations","author":"Suppes","year":"2007"},{"key":"S1755020314000240_ref26","article-title":"Fundamentals of concept formation in empirical science","volume":"2","author":"Hempel","year":"1952","journal-title":"International Encyclopedia of Unified Science"},{"key":"S1755020314000240_ref19","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2007.1835"},{"key":"S1755020314000240_ref13","first-page":"1019","volume-title":"Mathematical Structures in Computer Science (Special issue on Quantum Algorithms, ed. Salvador El\u00edas Venegas-Andraca)","volume":"20","author":"Beggs","year":"2010b"},{"key":"S1755020314000240_ref31","first-page":"163","article-title":"A set of independent axioms for extensive quantities","volume":"10","author":"Suppes","year":"1951","journal-title":"Portugali\u00e6 Mathematica"},{"key":"S1755020314000240_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00086-2"},{"key":"S1755020314000240_ref7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-85194-3_6","volume-title":"Unconventional computation (UC 2008)","volume":"5204","author":"Beggs","year":"2008c"},{"key":"S1755020314000240_ref20","volume-title":"Quantum theory","author":"Bohm","year":"1979"},{"key":"S1755020314000240_ref16","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2011.0427"},{"key":"S1755020314000240_ref14","doi-asserted-by":"crossref","unstructured":"Beggs E. , Costa J. F. , & Tucker J. V . (2010c). Physical oracles: The Turing machine and the Wheatstone bridge Studia Logica (Special issue on Contributions of Logic to the Foundations of Physics, eds. Aerts, D., Smets, S., & Van Bendegem, J. P.), 95( 1\u20132), 279\u2013300 .","DOI":"10.1007\/s11225-010-9254-6"},{"key":"S1755020314000240_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79235-9"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:55:24Z","timestamp":1598248524000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000240\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,9]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["S1755020314000240"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000240","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,9]]}}}