{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:39:35Z","timestamp":1725730775543},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540639947"},{"type":"electronic","value":"9783662221082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-662-22108-2_3","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T21:03:26Z","timestamp":1370898206000},"page":"44-50","source":"Crossref","is-referenced-by-count":1,"title":["Beyond G\u00f6del\u2019s Theorem: Turing Nonrigidity Revisited"],"prefix":"10.1007","author":[{"given":"S. Barry","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-3_CR1.1","doi-asserted-by":"crossref","unstructured":"J.S. Bell. On the Einstein-Podolsky-Rosen paradox. Physics 1 (1964), 195-200","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"#cr-split#-3_CR1.2","unstructured":"reprinted in J.S. Bell, Speakable and Unspeakable in Quantum Mechanics, Cambridge University Press, 1987, pp. 14-21."},{"key":"3_CR2","volume-title":"The Undivided Universe: An ontological interpretation of quantum theory. Routledge","author":"D Bohm","year":"1993","unstructured":"D. Bohm and B.J. Hiley. The Undivided Universe: An ontological interpretation of quantum theory. Routledge, London, New York, 1993."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"S.B. Cooper. Definability and global degree theory. In J. Oikkonen and J. V\u00e4\u00e4n\u00e4nen, eds.,Logic Colloquium \u201880, Lecture Notes in Logic vol. 2, Springer-Verlag, Berlin, Heidelberg, New York, pp. 25\u201345.","DOI":"10.1017\/9781316718254.005"},{"key":"3_CR4","first-page":"93","volume-title":"Complexity, Logic and Recursion Theory, Lecture Notes in Pure and Applied Mathematics, vol. 187, Marcel Dekker","author":"SB Cooper","year":"1997","unstructured":"S.B. Cooper. Beyond G\u00f6del\u2019s Theorem: The failure to capture information content. In A. Sorbi, editor, Complexity, Logic and Recursion Theory, Lecture Notes in Pure and Applied Mathematics, vol. 187, Marcel Dekker, 1997, pp. 93\u2013122."},{"key":"3_CR5","unstructured":"S.B. Cooper. On a conjecture of Kleene and Post. To appear."},{"key":"3_CR6","unstructured":"S.B. Cooper. The Turing universe is not rigid. To appear."},{"key":"3_CR7","unstructured":"S.B. Cooper. Observation, understanding and Turing definability. In preparation."},{"key":"3_CR8","unstructured":"S.B. Cooper. Turing nom-igidity and quantum theory. In preparation."},{"key":"3_CR9","first-page":"61","volume-title":"Complexity, Entropy, and the Physics of Information, Santa Fe Inst. Studies in the Sciences of Complexity","author":"PC Davies","year":"1990","unstructured":"P.C.W. Davies. Why is the physical world so comprehensible? In W.H. Zurek, ed., Complexity, Entropy, and the Physics of Information, Santa Fe Inst. Studies in the Sciences of Complexity, vol. 8, Addison-Wesley, Reading, Mass., 1990, pp. 61\u201370."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A Einstein","year":"1935","unstructured":"A. Einstein, B. Podolsky and N. Rosen. Phys. Rev., 47 (1935), 777\u2013780.","journal-title":"Phys. Rev"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1103\/RevModPhys.29.454","volume":"29","author":"H Everett","year":"1957","unstructured":"H.Everett, III. \u201cRelative state\u201d formulation of quantum mechanics Rev. Mod. Phys., 29 (1957), 454\u2013462.","journal-title":"Rev. Mod. Phys"},{"key":"3_CR12","volume-title":"The Feynman Lectures on Physics, Vol. III","author":"RP Feynman","year":"1965","unstructured":"R.P. Feynman, R.B. Leighton, M. Sands. The Feynman Lectures on Physics, Vol. III. Addison-Wesley, Reading, Mass., 1965."},{"key":"3_CR13","volume-title":"Quantum Mechanics and Path Integrals. McGraw-Hill, New York","author":"RP Feynman","year":"1965","unstructured":"R.P. Feynman and A.R. Hibbs. Quantum Mechanics and Path Integrals. McGraw-Hill, New York, London, Sydney, 1965."},{"key":"3_CR14","first-page":"425","volume-title":"Complexity, Entropy, and the Physics of Information, Santa Fe Inst. Studies in the Sciences of Complexity","author":"M Gell-Mann","year":"1990","unstructured":"M. Gell-Mann and J.B. Hartle. Quantum mechanics in the light of quantum cosmology. In W.H. Zurek, ed., Complexity, Entropy, and the Physics of Information, Santa Fe Inst. Studies in the Sciences of Complexity, vol. 8, Addison-Wesley, Reading, Mass., 1990, pp. 425\u2013458."},{"key":"3_CR15","first-page":"173","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"K. G\u00f6del. \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys., 38 (1931), 173\u2013198.","journal-title":"Math. Phys"},{"key":"3_CR16","first-page":"39","volume-title":"On undecidable propositions of formal mathematical systems. Mimeographed notes, 1934; reprinted in M. Davis, editor, The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions","author":"K G\u00f6del","year":"1965","unstructured":"K. G\u00f6del. On undecidable propositions of formal mathematical systems. Mimeographed notes, 1934; reprinted in M. Davis, editor, The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, New York, 1965, pp. 39\u201371."},{"key":"3_CR17","volume-title":"John Hopkins University Press","author":"PR Gross","year":"1994","unstructured":"P.R. Gross and N. Levitt. Higher Superstition: The academic left and its quarrels with science. John Hopkins University Press, 1994."},{"key":"3_CR18","first-page":"2960","volume":"28","author":"JB Hartle","year":"1983","unstructured":"J.B. Hartle and S.W. Hawking. Wave function of the universe. Phys. Rev., D28 (1983), 2960\u20132975.","journal-title":"Phys. Rev"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1098\/rspa.1970.0021","volume":"314","author":"SW Hawking","year":"1970","unstructured":"S.W. Hawking and R. Penrose. The singularities of gravitational collapse and cosmology. Proc. Roy. Soc. London, A314 (1970), 529\u201348.","journal-title":"Proc. Roy. Soc. London"},{"key":"3_CR20","volume-title":"The Nature of Space and Time","author":"SW Hawking","year":"1996","unstructured":"S.W. Hawking and R. Penrose. The Nature of Space and Time. Princeton University Press, Princeton, N.J., 1996."},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BF01397280","volume":"43","author":"W Heisenberg","year":"1927","unstructured":"W. Heisenberg. \u00dcber den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Z. Phys., 43 (1927), 172\u2013198.","journal-title":"Z. Phys"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BFb0091446","volume-title":"Turbulence and Navier Stokes Equations, Lecture Notes in Mathematics","author":"M H\u00e9non","year":"1976","unstructured":"M. H\u00e9non and Y. Pomeau. Two strange attractors with a simple structure. In R. Temam, ed., Turbulence and Navier Stokes Equations, Lecture Notes in Mathematics, vol. 565, Springer-Verlag, Berlin, Heidelberg, New York, 1976, pp. 29\u201368."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.2307\/2274273","volume":"49","author":"CG Jockusch","year":"1984","unstructured":"C.G. Jockusch, Jr. and R.A. Shore. Pseudo jump operators II: Transfinite iterations, hierarchies, and minimal covers. J. Symbolic Logic, 49 (1984), 1205\u20131236.","journal-title":"J. Symbolic Logic"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BFb0086121","volume-title":"Recursion Theory Week, Proceedings Oberwolfach","author":"A Kucera","year":"1990","unstructured":"A. Kucera. Randomness and generalizations of fixed point free functions. In K. Ambos-Spies, G. M\u00fcller and G.E. Sacks, eds., Recursion Theory Week, Proceedings Oberwolfach\n                1989, Springer, Berlin, 1990, pp. 245\u2013254."},{"key":"3_CR25","unstructured":"M. Lerman. Embedding partial lattices into the computably enumerable degrees. To appear."},{"key":"3_CR26","first-page":"61","volume":"18","author":"A Nerode","year":"1980","unstructured":"A. Nerode and R.A. Shore. Reducibility orderings: theories, definability and automorphisms. Ann. MathLogic, 18 (1980), 61\u201389.","journal-title":"Ann. MathLogic"},{"key":"3_CR27","unstructured":"A. Nies, R.A. Shore and T.A. Slaman. Definability in the recursively enumerable degrees. To appear."},{"key":"3_CR28","volume-title":"Classical Recursion Theory. North-Holland, Amsterdam","author":"P Odifreddi","year":"1989","unstructured":"P. Odifreddi. Classical Recursion Theory. North-Holland, Amsterdam, New York, Oxford, 1989."},{"key":"3_CR29","doi-asserted-by":"crossref","DOI":"10.1515\/9780691187433","volume-title":"The Interpretation of Quantum Mechanics","author":"R Omn\u00e8s","year":"1994","unstructured":"R. Omn\u00e8s. The Interpretation of Quantum Mechanics. Princeton University Press, Princeton, N.J., 1994."},{"key":"3_CR30","first-page":"105","volume-title":"Quantum Implications: Essays in honour of David Bohm, Routledge Kegan Paul","author":"R Penrose","year":"1987","unstructured":"R. Penrose. Quantum physics and conscious thought. In B.J. Hiley and F.D. Peat, editors, Quantum Implications: Essays in honour of David Bohm, Routledge Kegan Paul, London, New York, 1987, pp. 105\u2013120."},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0001-8708(81)90001-3","volume":"39","author":"MB Pour-El","year":"1981","unstructured":"M.B. Pour-El and I. Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in Math., 39 (1981), 215\u2013239.","journal-title":"Advances in Math"},{"key":"3_CR32","volume-title":"Computability in Analysis and Physics. Springer-Verlag, Berlin, Heidelberg, New York, London","author":"MB Pour-El","year":"1989","unstructured":"M.B. Pour-El and J.I. Richards. Computability in Analysis and Physics. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, 1989."},{"key":"3_CR33","first-page":"20","volume-title":"W.V.O. Quine, From A Logical Point Of View, Harvard University Press","author":"WV Quine","year":"1953","unstructured":"W.V.O. Quine. Two dogmas of empiricism. In W.V.O. Quine, From A Logical Point Of View, Harvard University Press, Cambridge, Mass. and London, 1953, pp. 20\u201346."},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"211","DOI":"10.2307\/1970214","volume":"77","author":"GE Sacks","year":"1963","unstructured":"G.E. Sacks. On the degrees less than 0\u2019. Arm. of Math. (2) 77 (1963), 211\u2013231.","journal-title":"Math. (2)"},{"key":"3_CR35","volume-title":"University of Illinois Press","author":"CE Shannon","year":"1949","unstructured":"C.E. Shannon and W. Weaver. The mathematical theory of communication. University of Illinois Press, 1949."},{"key":"3_CR36","unstructured":"T.A. Slaman and W.H. Woodin. Definability in Degree Structures. To appear."},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"R.I. Soare Recursively Enumerable Sets and Degrees. Springer-Verlag, Berlin, Heidelberg, London, New York, 1987.","DOI":"10.1007\/978-3-662-02460-7"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(64)90223-2","volume":"7","author":"RJ Solomonoff","year":"1964","unstructured":"R.J. Solomonoff. A formal theory of inductive inference. Part I. Infor. and Control 7 (1964), 1\u201322.","journal-title":"Infor. and Control"},{"key":"3_CR39","first-page":"154","volume-title":"Systems of logic based on ordinals Proc. London Math. Soc., 45 (1939), 161-228; reprinted in M. Davis, editor, `The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions","author":"AM Turing","year":"1965","unstructured":"A.M. Turing. Systems of logic based on ordinals Proc. London Math. Soc., 45 (1939), 161\u2013228; reprinted in M. Davis, editor, `The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions\u2019, Raven Press, New York, 1965, pp. 154\u2013222."}],"container-title":["Lecture Notes in Logic","Logic Colloquium \u201995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-22108-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:03:46Z","timestamp":1557785026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-22108-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540639947","9783662221082"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-22108-2_3","relation":{},"ISSN":["1431-5459"],"issn-type":[{"type":"print","value":"1431-5459"}],"subject":[],"published":{"date-parts":[[1998]]}}}