{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:36:33Z","timestamp":1725665793842},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642283314"},{"type":"electronic","value":"9783642283321"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28332-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T09:45:36Z","timestamp":1330508736000},"page":"21-37","source":"Crossref","is-referenced-by-count":3,"title":["Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Dowek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Arrighi, P., Dowek, G.: The physical Church-Turing thesis and the principles of quantum theory (to appear)"},{"key":"3_CR2","unstructured":"Arrighi, P., Dowek, G.: Operational semantics for formal tensorial calculus. In: Proceedings of QPL, vol.\u00a033, pp. 21\u201338. Turku Centre for Computer Science General Publication (2004); arXiv pre-print quant-ph\/0501150"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-13962-8_3","volume-title":"Programs, Proofs, Processes","author":"P. Arrighi","year":"2010","unstructured":"Arrighi, P., Dowek, G.: On the Completeness of Quantum Computation Models. In: Ferreira, F., L\u00f6we, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol.\u00a06158, pp. 21\u201330. Springer, Heidelberg (2010)"},{"key":"3_CR4","unstructured":"Arrighi, P., Nesme, V., Werner, R.: Unitarity plus causality implies localizability. In: QIP 2010, ArXiv preprint: arXiv:0711.3975 (2007)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Arrighi, P., Nesme, V., Werner, R.: Unitarity plus causality implies localizability (Full version). Journal of Computer and System Sciences (2010)","DOI":"10.1016\/j.jcss.2010.05.004"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-88282-4_8","volume-title":"Language and Automata Theory and Applications","author":"P. Arrighi","year":"2008","unstructured":"Arrighi, P., Nesme, V., Werner, R.F.: Quantum Cellular Automata Over Finite, Unbounded Configurations. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol.\u00a05196, pp. 64\u201375. Springer, Heidelberg (2008)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Beckman, D., Gottesman, D., Nielsen, M.A., Preskill, J.: Causal and localizable quantum operations. Phys. Rev. A\u00a064(052309) (2001)","DOI":"10.1103\/PhysRevA.64.052309"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1103\/PhysRevD.23.287","volume":"23","author":"J.D. Bekenstein","year":"1981","unstructured":"Bekenstein, J.D.: Universal upper bound to entropy-to-energy ratio for bounded systems. Phys. Rev. D\u00a023, 287\u2013298 (1981)","journal-title":"Phys. Rev. D"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J. Bell","year":"1964","unstructured":"Bell, J.: On the Einstein Podolsky Rosen paradox. Physics\u00a01, 195 (1964)","journal-title":"Physics"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Benioff, P.: New gauge fields from extension of space time parallel transport of vector spaces to the underlying number systems. Arxiv preprint arXiv:1008.3134 (2010)","DOI":"10.1117\/12.895454"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-78127-1_12","volume-title":"Pillars of Computer Science","author":"U. Boker","year":"2008","unstructured":"Boker, U., Dershowitz, N.: The Church-Turing Thesis Over Arbitrary Domains. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol.\u00a04800, pp. 199\u2013229. Springer, Heidelberg (2008)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Bournez, O., Campagnolo, M.: A survey on continuous time computations. New computational paradigms. Changing Conceptions of What is Computable, 383\u2013423 (2008)","DOI":"10.1007\/978-0-387-68546-5_17"},{"key":"3_CR13","first-page":"486","volume-title":"FOCS 1999: Proceedings of the 40th Annual Symposium on Foundations of Computer Science","author":"P.O. Boykin","year":"1999","unstructured":"Boykin, P.O., Mor, T., Pulver, M., Roychowdhury, V., Vatan, F.: On universal and fault-tolerant quantum computing: A novel basis and a new constructive proof of universality for Shor\u2019s basis. In: FOCS 1999: Proceedings of the 40th Annual Symposium on Foundations of Computer Science, p. 486. IEEE Computer Society, Washington, DC (1999)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Buchholz, D.: Current trends in axiomatic quantum field theory. Lect. Notes Phys, vol.\u00a0558, p. 4364 (2000)","DOI":"10.1007\/3-540-44482-3_4"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Collins, P., Gra\u00e7a, D.S.: Effective computability of solutions of ordinary differential equations \u2014 The thousand monkeys approach. In: Brattka, V., Dillhage, R., Grubba, T., Klutsch, A. (eds.) 5th International Conference on Computability and Complexity in Analysis. Electronic Notes Theorerical Computer Science, vol.\u00a0221, pp. 103\u2013114 (2008)","DOI":"10.1016\/j.entcs.2008.12.010"},{"issue":"6","key":"3_CR16","first-page":"1162","volume":"15","author":"P. Collins","year":"2009","unstructured":"Collins, P., Gra\u00e7a, D.S.: Effective computability of solutions of differential inclusions \u2014 The ten thousand monkeys approach. Journal of Universal Computer Science\u00a015(6), 1162\u20131185 (2009)","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Connes, A.: The Witt construction in characteristic one and quantization. Arxiv preprint arXiv:1009.1769 (2010)","DOI":"10.1090\/conm\/546\/10785"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s11023-007-9058-2","volume":"17","author":"B. Copeland","year":"2007","unstructured":"Copeland, B., Shagrir, O.: Physical Computation: How General are Gandys Principles for Mechanisms? Minds and Machines\u00a017(2), 217\u2013231 (2007)","journal-title":"Minds and Machines"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Gurevich, Y.: A natural axiomatization of the computability and proof of Church\u2019s thesis. The Bulletin of Symbolic Logic\u00a014(3) (2008)","DOI":"10.2178\/bsl\/1231081370"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. In: Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, vol.\u00a0400(1985), pp. 97\u2013117 (1818)","DOI":"10.1098\/rspa.1985.0070"},{"key":"3_CR21","unstructured":"Dowek, G.: Non determinisitic computation over the real numbers (submited to publication)"},{"key":"3_CR22","unstructured":"Dowek, G.: The physical Church thesis as an explanation of the Galileo thesis (submited to publication)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1209\/epl\/i2002-00579-4","volume":"57","author":"T. Eggeling","year":"2002","unstructured":"Eggeling, T., Schlingemann, D., Werner, R.: Semicausal operations are semilocalizable. EPL (Europhysics Letters)\u00a057, 782 (2002)","journal-title":"EPL (Europhysics Letters)"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0016-0032(36)91047-5","volume":"221","author":"A. Einstein","year":"1936","unstructured":"Einstein, A.: Physics and Reality. Journal of the Franklin Institute\u00a0221(3), 349\u2013382 (1936)","journal-title":"Journal of the Franklin Institute"},{"key":"3_CR25","unstructured":"Galilei, G.: Il Saggiatore (1623)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Gandy, R.: Church\u2019s thesis and principles for mechanisms. In: The Kleene Symposium. North-Holland (1980)","DOI":"10.1016\/S0049-237X(08)71257-6"},{"issue":"2","key":"3_CR27","first-page":"31","volume":"9","author":"A. Holevo","year":"1973","unstructured":"Holevo, A.: Information-theoretical aspects of quantum measurement. Problemy Peredachi Informatsii\u00a09(2), 31\u201342 (1973)","journal-title":"Problemy Peredachi Informatsii"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/BF00485427","volume":"12","author":"R. Montague","year":"1960","unstructured":"Montague, R.: Towards a general theory of computability. Synthese\u00a012(4), 429\u2013438 (1960)","journal-title":"Synthese"},{"key":"3_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1989","unstructured":"Pour-El, M., Richards, J.: Computability in Analysis and Physics. Springer, Heidelberg (1989)"},{"issue":"2","key":"3_CR30","first-page":"341","volume":"95","author":"M. Rabin","year":"1960","unstructured":"Rabin, M.: Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society\u00a095(2), 341\u2013360 (1960)","journal-title":"Transactions of the American Mathematical Society"},{"key":"3_CR31","unstructured":"Schumacher, B., Werner, R.: Reversible quantum cellular automata. ArXiv pre-print quant-ph\/0405174 (2004)"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/s11128-004-3193-y","volume":"4","author":"B. Schumacher","year":"2005","unstructured":"Schumacher, B., Westmoreland, M.D.: Locality and information transfer in quantum operations. Quantum Information Processing\u00a04(1), 13\u201334 (2005)","journal-title":"Quantum Information Processing"},{"key":"3_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable analysis: an introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable analysis: an introduction. Springer, Heidelberg (2000)"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Wigner, E.: The unreasonable effectiveness of mathematics in the natural sciences. Communications in Pure and Applied Mathematics\u00a013(1) (1960)","DOI":"10.1002\/cpa.3160130102"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: A new Kind of Science. Wolfram Media (2002)","DOI":"10.1115\/1.1553433"},{"issue":"4","key":"3_CR36","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.amc.2009.04.062","volume":"215","author":"M. Ziegler","year":"2009","unstructured":"Ziegler, M.: Physically-relativized Church-Turing hypotheses: Physical foundations of computing and complexity theory of computational physics. Applied Mathematics and Computation\u00a0215(4), 1431\u20131447 (2009)","journal-title":"Applied Mathematics and Computation"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28332-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T04:30:07Z","timestamp":1556425807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28332-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642283314","9783642283321"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28332-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}