{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:13Z","timestamp":1725551893427},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_1","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T16:37:18Z","timestamp":1136479038000},"page":"1-13","source":"Crossref","is-referenced-by-count":6,"title":["How Can Nature Help Us Compute?"],"prefix":"10.1007","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"ENTCS","first-page":"17","volume-title":"Proceedings of the 6th\u00a0Workshop on Computability and Complexity in Analysis","author":"M. Braverman","year":"2005","unstructured":"Braverman, M.: Hyperbolic Julia Sets are Poly-Time Computable. In: Brattka, V., Staiger, L., Weihrauch, K. (eds.) Proceedings of the 6th\u00a0Workshop on Computability and Complexity in Analysis, Wittenberg, Germany, August 16\u201320, 2004. ENTCS, vol.\u00a0120, pp. 17\u201330. Elsevier, Amsterdam (2005)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0004-3702(91)90053-M","volume":"47","author":"R.A. Brooks","year":"1987","unstructured":"Brooks, R.A.: Intelligence without Representations. Artificial Intelligence\u00a047, 139\u2013159 (1987)","journal-title":"Artificial Intelligence"},{"key":"1_CR3","volume-title":"Intelligence without Reason. A.I. Memo No. 1293, The A.I. Laboratory","author":"R.A. Brooks","year":"1991","unstructured":"Brooks, R.A.: Intelligence without Reason. A.I. Memo No. 1293, The A.I. Laboratory. M.I.T., Cambridge (1991)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1038\/35053196","volume":"409","author":"R.A. Brooks","year":"2001","unstructured":"Brooks, R.A.: The Relationship between Matter and Life. Nature\u00a0409, 409\u2013411 (2001)","journal-title":"Nature"},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608858","volume-title":"Algorithmic Information Theory","author":"G.J. Chaitin","year":"1987","unstructured":"Chaitin, G.J.: Algorithmic Information Theory. Cambridge University Press, Cambridge (1987)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Church, A.: A Note on the Entscheidungsproblem. J. Symbolic Logic\u00a01, 40\u201341, 101\u2013102 (1936)","DOI":"10.2307\/2269326"},{"key":"1_CR7","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-662-22108-2_3","volume-title":"Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium\u00a0 1995","author":"S.B. Cooper","year":"1998","unstructured":"Cooper, S.B.: Beyond G\u00f6del\u2019s Theorem: Turing Nonrigidity Revisited. In: Makowsky, J.A., Ravve, E.V. (eds.) Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium\u00a0 1995, Haifa, Israel, August 9\u201318, 1995. Lecture Notes in Logic, vol.\u00a011, pp. 44\u201350. Springer, Berlin (1998)"},{"key":"1_CR8","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1017\/CBO9780511565670.005","volume-title":"Models and Computability","author":"S.B. Cooper","year":"1999","unstructured":"Cooper, S.B.: Clockwork or Turing U\/universe? \u2013 Remarks on Causal Determinism and Computability. In: Cooper, S.B., Truss, J.K. (eds.) Models and Computability. London Mathematical Society Lecture Note Series, vol.\u00a0259, pp. 63\u2013116. Cambridge University Press, Cambridge (1999)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Cooper, S.B.: The Incomputable Alan Turing. In: Turing 2004: A Celebration of His Life and Achievements, electronically published by the British Computer Society (2005)","DOI":"10.14236\/ewic\/TUR2004.2"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Cooper, S.B.: Definability as Hypercomputational Effect. Applied Mathematics and Computation (to appear)","DOI":"10.1016\/j.amc.2005.09.072"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-1-4615-0755-0_6","volume-title":"Computability and Models: Perspectives East and West","author":"S.B. Cooper","year":"2003","unstructured":"Cooper, S.B., Odifreddi, P.: Incomputability in Nature. In: Cooper, S.B., Goncharov, S.S. (eds.) Computability and Models: Perspectives East and West, pp. 137\u2013160. Kluwer Academic\/ Plenum Publishers, New York (2003)"},{"key":"1_CR12","volume-title":"The Feeling Of What Happens","author":"A. Damasio","year":"1999","unstructured":"Damasio, A.: The Feeling Of What Happens. Harcourt, Orlando (1999)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Davis, M.: The Myth of Hypercomputation. In: Teuscher, C. (ed.), pp. 195\u2013211 (2004)","DOI":"10.1007\/978-3-662-05642-4_8"},{"key":"1_CR14","volume-title":"Out of My Later Years","author":"A. Einstein","year":"1950","unstructured":"Einstein, A.: Out of My Later Years. Philosophical Library, New York (1950)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1023\/A:1014019225365","volume":"41","author":"G. Etesi","year":"2002","unstructured":"Etesi, G., N\u00e9meti, I.: Non-Turing Computations via Malament-Hogarth Space-Times. Int. J. Theoretical Phys.\u00a041, 341\u2013370 (2002)","journal-title":"Int. J. Theoretical Phys."},{"key":"1_CR16","first-page":"51","volume-title":"The Universal Turing Machine: A Half-Century Survey","author":"R.O. Gandy","year":"1988","unstructured":"Gandy, R.O.: The Confluence of Ideas in 1936. In: Herken, R. (ed.) The Universal Turing Machine: A Half-Century Survey, pp. 51\u2013102. Oxford University Press, New York (1988)"},{"volume-title":"Collected Works of A.M. Turing: Mathematical Logic","year":"2001","key":"1_CR17","unstructured":"Gandy, R.O., Yates, C.E.M. (eds.): Collected Works of A.M. Turing: Mathematical Logic. North-Holland, Amsterdam (2001)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/641205.641235","volume":"46","author":"D. Goldin","year":"2003","unstructured":"Goldin, D., Wegner, P.: Computation Beyond Turing Machines: Seeking Appropriate Methods to Model Computing and Human Thought. Communications of the ACM\u00a046, 100\u2013102 (2003)","journal-title":"Communications of the ACM"},{"key":"1_CR19","volume-title":"The Psychology of Invention in the Mathematical Field","author":"J. Hadamard","year":"1945","unstructured":"Hadamard, J.: The Psychology of Invention in the Mathematical Field. Princeton Univ. Press, Princeton (1945)"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1002\/malq.200310124","volume":"51","author":"P. Hertling","year":"2005","unstructured":"Hertling, P.: Is the Mandelbrot Set Computable? Math. Logic Quarterly\u00a051, 5\u201318 (2005)","journal-title":"Logic Quarterly"},{"key":"1_CR21","first-page":"201","volume-title":"Bertrand Russell, Philosopher of the Century","author":"G. Kreisel","year":"1967","unstructured":"Kreisel, G.: Mathematical Logic: What Has It Done for the Philosophy of Mathematics? In: Schoenman, R. (ed.) Bertrand Russell, Philosopher of the Century, pp. 201\u2013272. Allen and Unwin, London (1967)"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0049-237X(08)70746-8","volume-title":"Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968","author":"G. Kreisel","year":"1970","unstructured":"Kreisel, G.: Church\u2019s Thesis: a Kind of Reducibility Axiom for Constructive Mathematics. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968, pp. 121\u2013150. North-Holland, Amsterdam (1970)"},{"key":"1_CR23","unstructured":"de Laplace, P.S.: Essai philosophique sur les probabilit\u00e9s (1819), English trans. by Truscott, F.W., Emory, F.L., Dover, New York (1951)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"McCulloch, W., Pitts, W.: A Logical Calculus of the Ideas Immanent in Nervous Activity. Bull. Math. Biophys.\u00a05, 115\u2013133","DOI":"10.1007\/BF02478259"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Elements of Interaction: Turing Award Lecture. Communications of the ACM\u00a036, 78\u201389 (1993)","journal-title":"Communications of the ACM"},{"key":"1_CR26","volume-title":"Classical Recursion Theory","author":"P. Odifreddi","year":"1989","unstructured":"Odifreddi, P.: Classical Recursion Theory. North-Holland, Amsterdam (1989)"},{"key":"1_CR27","volume-title":"The Mathematical Century: The 30\u00a0Greatest Problems of the Last 100\u00a0Years, (trans. A.\u00a0Sangalli)","author":"P. Odifreddi","year":"2004","unstructured":"Odifreddi, P.: The Mathematical Century: The 30\u00a0Greatest Problems of the Last 100\u00a0Years (trans. A.\u00a0Sangalli). Princeton University Press, Princeton (2004)"},{"key":"1_CR28","volume-title":"Shadows of the Mind: A Search for the Missing Science of Consciousness","author":"R. Penrose","year":"1994","unstructured":"Penrose, R.: Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford University Press, Oxford (1994)"},{"key":"1_CR29","volume-title":"How the Mind Works","author":"S. Pinker","year":"1997","unstructured":"Pinker, S.: How the Mind Works. W.W. Norton, New York (1997)"},{"key":"1_CR30","series-title":"ENTCS","first-page":"145","volume-title":"Proceedings of the 6th\u00a0Workshop on Computability and Complexity in Analysis","author":"R. Rettinger","year":"2005","unstructured":"Rettinger, R.: A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions. In: Brattka, V., Staiger, L., Weihrauch, K. (eds.) Proceedings of the 6th\u00a0Workshop on Computability and Complexity in Analysis, Wittenberg, Germany, August 16\u201320, 2004. ENTCS, vol.\u00a0120, pp. 145\u2013157. Elsevier, Amsterdam (2005)"},{"key":"1_CR31","first-page":"177","volume-title":"Proceedings of the 35th\u00a0Annual ACM Symposium on Theory of Computing","author":"R. Rettinger","year":"2003","unstructured":"Rettinger, R., Weihrauch, K.: The Computational Complexity of Some Julia Sets. In: Goemans, M.X. (ed.) Proceedings of the 35th\u00a0Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 9\u201311, 2003, pp. 177\u2013185. ACM Press, New York (2003)"},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1515\/zna-1981-0115","volume":"36A","author":"R. Shaw","year":"1981","unstructured":"Shaw, R.: Strange Attractors, Chaotic Behaviour, and Information Flow. Z. Naturforsch.\u00a036A, 80\u2013112 (1981)","journal-title":"Z. Naturforsch."},{"key":"1_CR33","series-title":"The Science Frontier Express Series","volume-title":"The Dripping Faucet as a Model Chaotic System","author":"R. Shaw","year":"1984","unstructured":"Shaw, R.: The Dripping Faucet as a Model Chaotic System. The Science Frontier Express Series. Aerial Press, Santa Cruz (1984)"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0140525X00052432","volume":"11","author":"P. Smolensky","year":"1988","unstructured":"Smolensky, P.: On the Proper Treatment of Connectionism. Behavioral and Brain Sciences\u00a011, 1\u201374 (1988)","journal-title":"Behavioral and Brain Sciences"},{"volume-title":"Alan Turing: Life and Legacy of a Great Thinker","year":"2004","key":"1_CR35","unstructured":"Teuscher, C. (ed.): Alan Turing: Life and Legacy of a Great Thinker. Springer, Heidelberg (2004)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. London Math. Soc.\u00a042(2), 230\u2013265 (1936\u20137); Reprinted in Turing,\u00a0A.M.: Collected Works: Mathematical Logic 18\u201353","DOI":"10.1112\/plms\/s2-42.1.230"},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A.M. Turing","year":"1939","unstructured":"Turing, A.M.: Systems of Logic Based on Ordinals. Proc. London Math. Soc.\u00a045(2), 161\u2013228 (1939); Reprinted in Turing, A.M.: Collected Works: Mathematical Logic 81\u2013148","journal-title":"Proc. London Math. Soc."},{"key":"#cr-split#-1_CR38.1","unstructured":"Turing, A.M.: Intelligent Machinery. National Physical Laboratory Report (1948). In: Meltzer, B., Michie, D. (eds.) Machine Intelligence\u00a05, pp. 3\u201323. Edinburgh University Press, Edinburgh (1969);"},{"key":"#cr-split#-1_CR38.2","unstructured":"Reprinted in Turing, A.M.: Collected Works: Mechanical Intelligence. In: Ince, D.C. (ed.) North-Holland, Amsterdam (1992)"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44929-9","volume-title":"Mathematics Unlimited \u2014 2001 and Beyond","author":"J. Leeuwen van","year":"2000","unstructured":"van Leeuwen, J., Wiedermann, J.: The Turing Machine Paradigm in Contemporary Computing. In: Enquist, B., Schmidt, W. (eds.) Mathematics Unlimited \u2014 2001 and Beyond. LNCS, Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T06:52:50Z","timestamp":1626936770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11611257_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}