{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:33:19Z","timestamp":1742988799703,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354666"},{"type":"electronic","value":"9783540354680"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11780342_40","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T02:19:46Z","timestamp":1151461186000},"page":"378-387","source":"Crossref","is-referenced-by-count":0,"title":["Constraints on Hypercomputation"],"prefix":"10.1007","author":[{"given":"Greg","family":"Michaelson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Cockshott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On Computable Numbers with an Application to the Entschiedungsproblem. Proc. London Mathematical Soc.\u00a042, 230\u2013265 (1936)","journal-title":"Proc. London Mathematical Soc."},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: Systems of Logic Based on Ordinals. Proc. London Mathematical Soc.\u00a045 (1939)","DOI":"10.1112\/plms\/s2-45.1.161"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"39","author":"A.M. Turing","year":"1950","unstructured":"Turing, A.M.: Computing Machinery and Intelligence. Mind\u00a039, 433\u2013460 (1950)","journal-title":"Mind"},{"key":"40_CR4","unstructured":"Bracha, G., Toueg, S.: Asynchronous consensus and byzantine protocol in a faulty environment. Technical Report TR-83-559, CS Dept. Cornell University, Ithaca, NY 14853 (1983)"},{"key":"40_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A.: An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics\u00a058, 345\u2013363 (1936)","journal-title":"American Journal of Mathematics"},{"key":"40_CR6","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1023\/A:1021105915386","volume":"12","author":"B.J. Copeland","year":"2002","unstructured":"Copeland, B.J.: Hypercomputation. Minds and Machines\u00a012, 461\u2013502 (2002)","journal-title":"Minds and Machines"},{"issue":"1","key":"40_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1080\/00048409912348801","volume":"77","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J., Sylvan, R.: Beyond the universal turing machine. Australasian Journal of Philosophy\u00a077(1), 46\u201366 (1999)","journal-title":"Australasian Journal of Philosophy"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/bjps\/54.2.181","volume":"54","author":"P. Cotogno","year":"2003","unstructured":"Cotogno, P.: Hypercomputation and the Physical Church-Turing Thesis. Brit. J. Phil. Sci.\u00a054, 181\u2013223 (2003)","journal-title":"Brit. J. Phil. Sci."},{"issue":"2","key":"40_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.ic.2004.07.002","volume":"194","author":"D. Goldin","year":"2004","unstructured":"Goldin, D., Smolka, S., Wegner, P.: Turing Machines, Transition Systems, and Interaction. Information and Computation\u00a0194(2), 101\u2013128 (2004)","journal-title":"Information and Computation"},{"key":"40_CR10","unstructured":"Davis, M.: Engines of Logic: Mathematicians and the Origins of the Computer. Norton (2001)"},{"key":"40_CR11","unstructured":"Einstein, A.: Relativity. Methuen and Company, London (1920)"},{"key":"40_CR12","unstructured":"Ekdahl, B.: Interactive Computing does not supersede Church\u2019s thesis. In: Proc. Computer Science, 17th Int. Conf. San Diego, Association of Management and the International Association of Management, pp. 261\u2013265 (1999)"},{"key":"40_CR13","volume-title":"EATCS","author":"M. Garzon","year":"1995","unstructured":"Garzon, M.: Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks. In: EATCS. Springer, Heidelberg (1995)"},{"issue":"2","key":"40_CR14","doi-asserted-by":"publisher","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"J. Hamkins","year":"2000","unstructured":"Hamkins, J., Lewis, A.: Infinite Time Turing Machines. Journal of Symbolic Logic\u00a065(2), 567\u2013604 (2000)","journal-title":"Journal of Symbolic Logic"},{"key":"40_CR15","first-page":"455","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"D. Turner","year":"2000","unstructured":"Turner, D., Pierce, B.: Pict: A programming language based on the picalculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 455\u2013494. MIT Press, Cambridge (2000)"},{"key":"40_CR16","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1093\/comjnl\/47.1.4","volume":"47","author":"P. Wegner","year":"2004","unstructured":"Wegner, P., Eberbach, E.: New models of computation. Computer Journal\u00a047, 4\u20139 (2004)","journal-title":"Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Logical Approaches to Computational Barriers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780342_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:06:44Z","timestamp":1552349204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780342_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354666","9783540354680"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11780342_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}