{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:26Z","timestamp":1725488006913},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_64","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"621-631","source":"Crossref","is-referenced-by-count":2,"title":["From Logic to Physics: How the Meaning of Computation Changed over Time"],"prefix":"10.1007","author":[{"given":"Itamar","family":"Pitowsky","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"Barrett, J.: Information processing in generalized probabilistic theories (2005), \n                  \n                    http:\/\/arxiv.org\/quant-ph\/0508211","key":"64_CR1"},{"unstructured":"Beckman, D.E.: Investigations in quantum computing, causality and graph isomorphism PhD thesis, California Institute of Technology (2004)","key":"64_CR2"},{"key":"64_CR3","volume-title":"Computability and Logic","author":"J.S. Boolos","year":"1974","unstructured":"Boolos, J.S., Jeffrey, C.J.: Computability and Logic. Cambridge University Press, Cambridge (1974)"},{"unstructured":"Brassard, G., Buhrman, H., Linden, N., Methot, A.A., Tapp, A., Ungerquant, F.: A limit on nonlocality in any world in which communication complexity is not trivial (2005), \n                  \n                    http:\/\/arxiv.org\/abs\/quant-ph\/0508042","key":"64_CR4"},{"unstructured":"Buhrman, H., Cleve, R., Wigderson, A.: Quantum vs. Classical Communication and Computation (1998), \n                  \n                    http:\/\/arxiv.org\/abs\/quant-ph\/9802040","key":"64_CR5"},{"key":"64_CR6","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1103\/PhysRevD.10.526","volume":"10","author":"J.F. Clauser","year":"1974","unstructured":"Clauser, J.F., Horne, M.A.: Experimental consequences of objective local theories. Physical Review D\u00a010, 526\u2013535 (1974)","journal-title":"Physical Review D"},{"key":"64_CR7","volume-title":"Proc. 1964 International Congress for Logic, Methodology, and Philosophy of Science","author":"A. Cobham","year":"1964","unstructured":"Cobham, A.: The intrinsic computational difficulty of a function. In: Bar-Hillel, Y. (ed.) Proc. 1964 International Congress for Logic, Methodology, and Philosophy of Science, North Holland, Amsterdam (1964)"},{"key":"64_CR8","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1086\/289716","volume":"60","author":"J. Earman","year":"1993","unstructured":"Earman, J., Norton, J.D.: Forever is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes. Philosophy of Science\u00a060, 22\u201342 (1993)","journal-title":"Philosophy of Science"},{"key":"64_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.4153\/CJM-1965-045-4","volume":"17","author":"J. Edmonds","year":"1965","unstructured":"Edmonds, J.: Paths trees and flowers. Canadian Journal of Mathematics\u00a017, 449\u2013467 (1965)","journal-title":"Canadian Journal of Mathematics"},{"key":"64_CR10","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1103\/PhysRevLett.67.661","volume":"67","author":"A. Ekert","year":"1991","unstructured":"Ekert, A.: Quantum cryptography based on Bell\u2019 s theorem. Physical Review Letters\u00a067, 661\u2013664 (1991)","journal-title":"Physical Review Letters"},{"doi-asserted-by":"crossref","unstructured":"Enderton, H.B.: Elements of recursion theory. In: Barwise, J. (ed.) Handbook of Mathematical Logic North Holland, Amsterdam, pp. 527\u2013566","key":"64_CR11","DOI":"10.1016\/S0049-237X(08)71114-5"},{"key":"64_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0049-237X(08)71257-6","volume-title":"The Kleene Symposium","author":"R.O. Gandy","year":"1980","unstructured":"Gandy, R.O.: Church\u2019s Thesis and Principles of Mechanisms. In: Barwise, J., Keisler, J.J., Kunen, K. (eds.) The Kleene Symposium, pp. 123\u2013145. North Holland, Amsterdam (1980)"},{"unstructured":"Gisin, N., Methot, A.A., Scarani, V.: Pseudo-telepathy: input cardinality and Bell-type inequalities (2006), \n                  \n                    http:\/\/arxiv.org\/quant-ph\/0610175","key":"64_CR13"},{"key":"64_CR14","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1103\/PhysRevLett.79.325","volume":"78","author":"L.K. Grover","year":"1997","unstructured":"Grover, L.K.: Quantum Mechanics helps in searching for a needle in a haystack. Physical Reveiw Letters\u00a078, 325\u2013328 (1997)","journal-title":"Physical Reveiw Letters"},{"key":"64_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s11023-005-9006-y","volume":"16","author":"A. Hagar","year":"2006","unstructured":"Hagar, A., Korolev, A.: Quantum hypercomputability? Minds and Machines\u00a016, 87\u201393 (2006)","journal-title":"Minds and Machines"},{"key":"64_CR16","first-page":"126","volume":"1","author":"M.L. Hogarth","year":"1994","unstructured":"Hogarth, M.L.: Non-Turing Computers and Non-Turing Computability. Proceedings of the Philosophy of Science Association (PSA)\u00a01, 126\u2013138 (1994)","journal-title":"Proceedings of the Philosophy of Science Association (PSA)"},{"key":"64_CR17","doi-asserted-by":"publisher","first-page":"2011","DOI":"10.1098\/rspa.2002.1097","volume":"459","author":"R. Jozsa","year":"2003","unstructured":"Jozsa, R., Linden, N.: On the role of entanglement in quantum computational speed-up. Proceedings of the Royal Society of London A\u00a0459, 2011\u20132032 (2003)","journal-title":"Proceedings of the Royal Society of London A"},{"key":"64_CR18","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1142\/S0219749905000712","volume":"3","author":"T.D. Kieu","year":"2005","unstructured":"Kieu, T.D.: An Anatomy of a Quantum Adiabatic Algorithm that Transcends the Turing Computability. International Journal of Quantum Information\u00a03, 177\u2013183 (2005)","journal-title":"International Journal of Quantum Information"},{"key":"64_CR19","first-page":"82","volume-title":"Gravitational Radiation and Gravitational Collapse","author":"R. Penrose","year":"1974","unstructured":"Penrose, R.: Gravitational collapse. In: De Witt-Morette, C. (ed.) Gravitational Radiation and Gravitational Collapse, pp. 82\u201391. Reidel, Dordrecht (1974)"},{"key":"64_CR20","series-title":"Lecture Notes in Physics","volume-title":"Quantum Probability, Quantum Logic","author":"I. Pitowsky","year":"1989","unstructured":"Pitowsky, I.: Quantum Probability, Quantum Logic. Lecture Notes in Physics, vol.\u00a0321. Springer, Heidelberg (1989)"},{"unstructured":"Pitowsky, I.: The Physical Church Thesis and Physical Computational Complexity, Iyun vol. 39, pp. 161\u2013180 (1990)","key":"64_CR21"},{"unstructured":"Popescu, S., Rohrlich, D.: Action and Passion at a Distance: An Essay in Honor of Professor Abner Shimony (1996), \n                  \n                    http:\/\/arxiv.org\/abs\/quant-ph\/9605004","key":"64_CR22"},{"key":"64_CR23","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1023\/A:1015694932257","volume":"12","author":"O. Shagrir","year":"2002","unstructured":"Shagrir, O.: Computations by Humans and Machines. Minds and Machines\u00a012, 221\u2013240 (2002)","journal-title":"Minds and Machines"},{"key":"64_CR24","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1023\/A:1021365222692","volume":"13","author":"O. Shagrir","year":"2003","unstructured":"Shagrir, O., Pitowsky, I.: The Church-Turing Thesis and Hypercomputation. Minds and Machines\u00a013, 87\u2013101 (2003)","journal-title":"Minds and Machines"},{"key":"64_CR25","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P.W. Shor","year":"1994","unstructured":"Shor, P.W.: Polynomial Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. SIAM Journal of Computing\u00a026, 1484\u20131509 (1994)","journal-title":"SIAM Journal of Computing"},{"key":"64_CR26","doi-asserted-by":"publisher","first-page":"150","DOI":"10.5840\/monist19998213","volume":"82","author":"W. Sieg","year":"1999","unstructured":"Sieg, W., Byrnes, J.: An Abstract Model for Parallel Computations: Gandy\u2019s Thesis. The Monist\u00a082, 150\u2013164 (1999)","journal-title":"The Monist"},{"key":"64_CR27","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00417500","volume":"4","author":"B.S. Tsirelson","year":"1980","unstructured":"Tsirelson, B.S.: Quantum generalizations of Bell\u2019s inequality. Letters in Mathematical Physics\u00a04, 93\u2013100 (1980)","journal-title":"Letters in Mathematical Physics"},{"issue":"2","key":"64_CR28","first-page":"115","volume":"45","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On Computable Numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society\u00a045(2), 115\u2013154 (1936)","journal-title":"Proceedings of the London Mathematical Society"},{"unstructured":"van Dam, W.: Implausible Consequences of Superstrong Nonlocality (2005), \n                  \n                    http:\/\/arxiv.org\/abs\/quant-ph\/0501159","key":"64_CR29"},{"key":"64_CR30","doi-asserted-by":"publisher","first-page":"4277","DOI":"10.1103\/PhysRevA.40.4277","volume":"40","author":"R.F. Werner","year":"1989","unstructured":"Werner, R.F.: Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Physical Review A\u00a040, 4277\u20134281 (1989)","journal-title":"Physical Review A"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T06:00:15Z","timestamp":1550469615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}