{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:01:02Z","timestamp":1743058862794,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390739"},{"type":"electronic","value":"9783642390746"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39074-6_6","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T03:35:24Z","timestamp":1370230524000},"page":"43-54","source":"Crossref","is-referenced-by-count":0,"title":["Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability"],"prefix":"10.1007","author":[{"given":"Cristian S.","family":"Calude","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohtaro","family":"Tadaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Aigner, M., Schmidt, V.A.: Good proofs are proofs that make us wiser: interview with Yu. I. Manin. The Berlin Intelligencer, 16\u201319 (1998), \n                      http:\/\/www.ega-math.narod.ru\/Math\/Manin.html"},{"key":"6_CR2","volume-title":"Ramanujan\u2019s Notebooks, Part V","author":"B.C. Berndt","year":"2005","unstructured":"Berndt, B.C.: Ramanujan\u2019s Notebooks, Part V. Springer, Heidelberg (2005)"},{"issue":"11","key":"6_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1088\/2058-7058\/14\/11\/28","volume":"14","author":"V. Buzek","year":"2001","unstructured":"Buzek, V., Hillery, M.: Quantum cloning. Physics World\u00a014(11), 25\u201329 (2001)","journal-title":"Physics World"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1142\/6577","volume-title":"Randomness & Complexity, from Leibniz to Chaitin","author":"C.S. Calude","year":"2007","unstructured":"Calude, C.S., Calude, E., Marcus, S.: Proving and programming. In: Calude, C.S. (ed.) Randomness & Complexity, from Leibniz to Chaitin, pp. 310\u2013321. World Scientific, Singapore (2007)"},{"key":"6_CR5","volume-title":"The Principles of Quantum Mechanics","author":"P.A.M. Dirac","year":"1958","unstructured":"Dirac, P.A.M.: The Principles of Quantum Mechanics, 4th edn. Oxford University Press, London (1958)","edition":"4"},{"key":"6_CR6","unstructured":"Hiai, F., Yanagi, K.: Hilbert Spaces and Linear Operators. Makino-Shoten (1995) (in Japanese)"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"1535","DOI":"10.1098\/rspa.2003.1266","volume":"A 460","author":"T.D. Kieu","year":"2004","unstructured":"Kieu, T.D.: A reformulation of Hilbert\u2019s tenth problem through quantum mechanics. Proc. R. Soc. Lond.\u00a0A 460, 1535\u20131545 (2004)","journal-title":"Proc. R. Soc. Lond."},{"key":"6_CR8","volume-title":"Many-Particle Physics","author":"G.D. Mahan","year":"2010","unstructured":"Mahan, G.D.: Many-Particle Physics, 3rd edn. Kluwer Academic\/Plenum Publishers, New York (2010)","edition":"3"},{"key":"6_CR9","volume-title":"Hilbert\u2019s Tenth Problem","author":"Y.V. Matijasevi\u010d","year":"1993","unstructured":"Matijasevi\u010d, Y.V.: Hilbert\u2019s Tenth Problem. The MIT Press, Cambridge (1993)"},{"key":"6_CR10","unstructured":"Penrose, R., Hameroff, S.: Consciousness in the universe: Neuroscience, quantum space-time geometry and Orch OR theory. Journal of Cosmology 14 (2011), \n                      http:\/\/journalofcosmology.com\/Consciousness160.html"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"4194","DOI":"10.1103\/PhysRevE.61.4194","volume":"61","author":"M. Tegmark","year":"2000","unstructured":"Tegmark, M.: Importance of quantum decoherence in brain processes. Physical Review E\u00a061(4), 4194\u20134206 (2000)","journal-title":"Physical Review E"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39074-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T19:08:41Z","timestamp":1676315321000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39074-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390739","9783642390746"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39074-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}