{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T19:40:15Z","timestamp":1707248415311},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,9,30]],"date-time":"2006-09-30T00:00:00Z","timestamp":1159574400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,9,30]],"date-time":"2006-09-30T00:00:00Z","timestamp":1159574400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s11047-006-9021-9","type":"journal-article","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T12:48:00Z","timestamp":1159534080000},"page":"187-205","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On mind & Turing\u2019s machines"],"prefix":"10.1007","volume":"6","author":[{"given":"Wilfried","family":"Sieg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,9,30]]},"reference":[{"issue":"1","key":"9021_CR1","doi-asserted-by":"publisher","first-page":"40","DOI":"10.2307\/2268804","volume":"2","author":"A Church","year":"1937a","unstructured":"Church A (1937a). Review of [Turing 1936]. Journal of Symbolic Logic 2(1):40\u201341","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9021_CR2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.2307\/2268808","volume":"2","author":"A Church","year":"1937b","unstructured":"Church A (1937b) Review of [Post 1936]. Journal of Symbolic Logic 2(1):42\u201343","journal-title":"Journal of Symbolic Logic"},{"key":"9021_CR3","doi-asserted-by":"crossref","unstructured":"Davis M (2004) The myth of hypercomputation. In: Teuscher C (ed) Alan Turing: Life and Legacy of a Great Thinker, pp. 195\u2013211. Springer","DOI":"10.1007\/978-3-662-05642-4_8"},{"key":"9021_CR4","volume-title":"Logical Dilemmas","author":"J Dawson","year":"1997","unstructured":"Dawson J (1997). Logical Dilemmas. A.K. Peters, Wellesley, Massachusetts"},{"key":"9021_CR5","unstructured":"Feferman S (1988) Turing in the land of O(z). In: Herken (ed) 1988, pp. 113\u2013147"},{"key":"9021_CR6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0049-237X(08)71257-6","volume-title":"The Kleene Symposium","author":"R Gandy","year":"1980","unstructured":"Gandy R (1980). Church\u2019s Thesis and principles for mechanisms. In: Barwise J, Keisler HJ, Kunen K (eds), The Kleene Symposium. North-Holland Publishing Company, Amsterdam, pp. 123\u2013148"},{"key":"9021_CR7","unstructured":"G\u00f6del, K (1933) The present situation in the foundations of mathematics. Collected Works III, 45\u201353"},{"key":"9021_CR8","unstructured":"G\u00f6del K (1934) On undecidable propositions of formal mathematical systems. Collected Works I: 346\u2013371"},{"key":"9021_CR9","unstructured":"G\u00f6del, K (193?) Undecidable Diophantine propositions. Collected Works III: 164\u2013175"},{"key":"9021_CR10","unstructured":"G\u00f6del, K (1946) Remarks before the Princeton bicentennial conference on problems in mathematics. Collected Works II: 150\u2013153"},{"key":"9021_CR11","unstructured":"G\u00f6del, K (1951) Some basic theorems on the foundations of mathematics and their implications. Collected Works III: 304\u2013323"},{"key":"9021_CR12","unstructured":"G\u00f6del, K (1964) Postscriptum for [1934]. Collected Works I: 369\u2013371"},{"key":"9021_CR13","first-page":"305","volume":"II","author":"K G\u00f6del","year":"1972a","unstructured":"G\u00f6del, K (1972a) Some remarks on the undecidability results. Collected Works II: 305\u2013306","journal-title":"Collected Works"},{"key":"9021_CR14","unstructured":"G\u00f6del, K (1972b) The best and most general version of the unprovability of consistency in the same system; First of the notes [1972a]"},{"key":"9021_CR15","unstructured":"G\u00f6del, K (1972c) Another version of the first undecidability result; Second of the notes [1972a]"},{"key":"9021_CR16","unstructured":"G\u00f6del, K (1972d) A philosophical error in Turing\u2019s work; Third of the notes [1972a]"},{"key":"9021_CR17","unstructured":"G\u00f6del, K (1974) Note in [Wang 1974], 325\u2013326"},{"key":"9021_CR18","unstructured":"G\u00f6del, K (1986) Collected Works I, Oxford University Press"},{"key":"9021_CR19","unstructured":"G\u00f6del, K (1990) Collected Works II, Oxford University Press"},{"key":"9021_CR20","unstructured":"G\u00f6del, K (1995) Collected Works III, Oxford University Press"},{"key":"9021_CR21","unstructured":"G\u00f6del, K (2003) Collected Works IV\u2013V, Oxford University Press"},{"key":"9021_CR22","unstructured":"MacLane, S (1934) Abgek\u00fcrzte Beweise im Logikkalkul. Ianaugural-Dissertation, G\u00f6ttingen."},{"key":"9021_CR23","doi-asserted-by":"crossref","first-page":"118","DOI":"10.5840\/monist19354515","volume":"45","author":"S MacLane","year":"1935a","unstructured":"MacLane, S (1935a) Logical analysis of mathematical structure; The Monist 45: 118\u2013130.","journal-title":"The Monist"},{"key":"9021_CR24","doi-asserted-by":"crossref","unstructured":"MacLane, S (1979a) late return to a thesis in logic. In: Kaplansky I (ed) Saunders MacLane \u2013 Selected Papers, pp. 63-66. Springer-Verlag","DOI":"10.1007\/978-1-4615-7831-4_2"},{"key":"9021_CR25","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/philmat\/3.1.5","volume":"3","author":"D Mundici","year":"1995","unstructured":"Mundici D, Sieg W (1995). Paper machines. Philosophia Mathematica 3:5\u201330","journal-title":"Philosophia Mathematica"},{"key":"9021_CR26","doi-asserted-by":"publisher","first-page":"103","DOI":"10.2307\/2269031","volume":"1","author":"E Post","year":"1936","unstructured":"Post E (1936). Finite combinatory processes. Formulation I. Journal of Symbolic Logic 1:103\u20135","journal-title":"Journal of Symbolic Logic"},{"key":"9021_CR27","doi-asserted-by":"crossref","unstructured":"Sieg, W (1994) Mechanical procedures and mathematical experience. In: George A (ed) Mathematics and Mind, pp. 71\u2013117. Oxford University Press","DOI":"10.1093\/oso\/9780195079296.003.0005"},{"key":"9021_CR28","first-page":"390","volume":"15","author":"W Sieg","year":"2002a","unstructured":"Sieg, W (2002a). Calculations by man and machine: conceptual analysis. Lecture Notes in Logic 15:390\u2013409","journal-title":"Lecture Notes in Logic"},{"key":"9021_CR29","first-page":"363","volume-title":"Reading Natural Philosophy","author":"W Sieg","year":"2002b","unstructured":"Sieg W (2002b). Beyond Hilbert\u2019s reach?. In: Malalment DB (eds), Reading Natural Philosophy. Open Court, Chicago, pp. 363-405"},{"key":"9021_CR30","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/philmat\/nkj005","volume":"14","author":"W Sieg","year":"2006","unstructured":"Sieg, W (2006) G\u00f6del on computability. Philosophia Mathematica 14: 189\u2013207","journal-title":"Philosophia Mathematica"},{"key":"9021_CR31","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/j.apal.2004.10.014","volume":"133","author":"W Sieg","year":"2005","unstructured":"Sieg W, Field C (2005). Automated search for G\u00f6del\u2019s proofs. Annals of Pure and Applied Logic 133:319\u2013338","journal-title":"Annals of Pure and Applied Logic"},{"key":"9021_CR32","unstructured":"Siegelmann, HT (1997) Neural Networks and Analog Computation \u2013 Beyond the Turing Limit. Birkh\u00e4user"},{"key":"9021_CR33","doi-asserted-by":"crossref","unstructured":"Turing, A (1936) On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2 (42), 230\u2013265; reprinted in Davis 1965","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"9021_CR34","doi-asserted-by":"crossref","unstructured":"Turing, A (1939) Systems of logic based on ordinals. Proceedings of the London Mathematical Society, Series 2 45, 161\u2013228; reprinted in Davis 1965","DOI":"10.1112\/plms\/s2-45.1.161"},{"key":"#cr-split#-9021_CR35.1","unstructured":"Turing, A (1947) Lecture to the London Mathematical Society on 20 February 1947. In: Ince DC"},{"key":"#cr-split#-9021_CR35.2","unstructured":"(ed) Collected Works of A.M. Turing - Mechanical Intelligence, pp. 87-105. North Holland, 1992"},{"key":"#cr-split#-9021_CR36.1","unstructured":"Turing, A (1948) Intelligent machinery. In: Ince DC"},{"key":"#cr-split#-9021_CR36.2","unstructured":"(ed) Collected Works of A.M. Turing - Mechanical Intelligence, pp. 107-127. North Holland, 1992"},{"key":"9021_CR37","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A Turing","year":"1950","unstructured":"Turing A (1950). Computing machinery and intelligence. Mind 59:433\u2013460","journal-title":"Mind"},{"key":"9021_CR38","first-page":"7","volume":"31","author":"A Turing","year":"1954","unstructured":"Turing A (1954). Solvable and unsolvable problems; Science News 31:7\u201323","journal-title":"Science News"},{"key":"9021_CR39","volume-title":"From Mathematics to Philosophy","author":"H Wang","year":"1974","unstructured":"Wang H (1974). From Mathematics to Philosophy. Routledge & Kegan Paul, London"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-006-9021-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-006-9021-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-006-9021-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-006-9021-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T19:14:41Z","timestamp":1707246881000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-006-9021-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,30]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["9021"],"URL":"https:\/\/doi.org\/10.1007\/s11047-006-9021-9","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9,30]]},"assertion":[{"value":"1 June 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2006","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2006","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2006","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}