{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:10:10Z","timestamp":1751033410828,"version":"3.41.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T00:00:00Z","timestamp":1511481600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11023-017-9454-1","type":"journal-article","created":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T13:12:38Z","timestamp":1511529158000},"page":"663-672","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Argument for P=NP"],"prefix":"10.1007","volume":"27","author":[{"given":"Selmer","family":"Bringsjord","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,24]]},"reference":[{"key":"9454_CR1","volume-title":"Language, proof, and logic","author":"J Barwise","year":"1999","unstructured":"Barwise, J., & Etchemendy, J. (1999). Language, proof, and logic. New York, NY: Seven Bridges."},{"key":"9454_CR2","volume-title":"Anthropic bias: Observation selection effects","author":"N Bostrom","year":"2002","unstructured":"Bostrom, N. (2002). Anthropic bias: Observation selection effects. New York, NY: Routledge."},{"key":"9454_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1023\/A:1011257022242","volume":"11","author":"S Bringsjord","year":"2001","unstructured":"Bringsjord, S. (2001). In computation, parallel is nothing, physical everything. Minds and Machines, 11, 95\u201399.","journal-title":"Minds and Machines"},{"key":"9454_CR4","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1005019131238","volume":"113","author":"S Bringsjord","year":"1997","unstructured":"Bringsjord, S., & Zenzen, M. (1997). Cognition is not computation: The argument from irreversibility? Synthese, 113, 285\u2013320.","journal-title":"Synthese"},{"key":"9454_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0283-7","volume-title":"Superminds: People harness hypercomputation, and more","author":"S Bringsjord","year":"2003","unstructured":"Bringsjord, S., & Zenzen, M. (2003). Superminds: People harness hypercomputation, and more. Dordrecht: Kluwer Academic Publishers."},{"key":"9454_CR6","volume-title":"The theory of equilibrium of elastic systems and its applications","author":"CAP Castigliano","year":"1966","unstructured":"Castigliano, C. A. P. (1966). The theory of equilibrium of elastic systems and its applications. New York, NY: Dover."},{"key":"9454_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B. F. (1980). Modal logic: An introduction. Cambridge, UK: Cambridge University Press."},{"key":"9454_CR8","first-page":"150","volume-title":"Unconventional models of computation","author":"BJ Copeland","year":"1998","unstructured":"Copeland, B. J. (1998). Even turing machines can compute uncomputable functions. In J. Casti (Ed.), Unconventional models of computation (pp. 150\u2013164). London, UK: Springer."},{"key":"9454_CR9","volume-title":"What is mathematics?","author":"R Courant","year":"1941","unstructured":"Courant, R., & Robbins, H. (1941). What is mathematics?. Oxford: Oxford University Press."},{"key":"9454_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/scientificamerican0684-19","volume":"250","author":"AK Dewdney","year":"1984","unstructured":"Dewdney, A. K. (1984). Computer recreations: On the spaghetti computer and and other analog gadgets for problem solving. Scientific American, 250, 19\u201326.","journal-title":"Scientific American"},{"key":"9454_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1038\/scientificamerican0885-16","volume":"253","author":"AK Dewdney","year":"1985","unstructured":"Dewdney, A. K. (1985). Computer recreations. Scientific American, 253, 23\u201324.","journal-title":"Scientific American"},{"key":"9454_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9072-8","volume-title":"A primer on determinism","author":"J Earman","year":"1986","unstructured":"Earman, J. (1986). A primer on determinism. Dordrecht: D. Reidel."},{"key":"9454_CR13","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman, R. P. (1982). Simulating physics with computers. International Journal of Theoretical Physics, 21, 467\u2013488.","journal-title":"International Journal of Theoretical Physics"},{"key":"9454_CR14","volume-title":"Intelligence: The eye, the brain, and the computer","author":"M Fischler","year":"1987","unstructured":"Fischler, M., & Firschein, O. (1987). Intelligence: The eye, the brain, and the computer. Reading, MA: Addison-Wesley."},{"key":"9454_CR15","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/0167-2789(90)90186-S","volume":"45","author":"E Fredkin","year":"1990","unstructured":"Fredkin, E. (1990). Digital mechanics: An informational process based on reversible universal CA. Physica D, 45, 254\u2013270.","journal-title":"Physica D"},{"key":"9454_CR16","volume-title":"Computers and intractability","author":"M Garey","year":"1979","unstructured":"Garey, M., & Johnson, D. (1979). Computers and intractability. New York, NY: W.H. Freeman."},{"key":"9454_CR17","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1016\/S0370-1573(00)00037-5","volume":"333","author":"A Guth","year":"2000","unstructured":"Guth, A. (2000). Inflation and eternal inflation. Physics Reports, 333, 555\u2013574.","journal-title":"Physics Reports"},{"issue":"2","key":"9454_CR18","doi-asserted-by":"crossref","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"JD Hamkins","year":"2000","unstructured":"Hamkins, J. D., & Lewis, A. (2000). Infinite time turing machines. Journal of Symbolic Logic, 65(2), 567\u2013604.","journal-title":"Journal of Symbolic Logic"},{"key":"9454_CR19","volume-title":"An introduction to modal logic","author":"G Hughes","year":"1968","unstructured":"Hughes, G., & Cresswell, M. (1968). An introduction to modal logic. London: Methuen."},{"issue":"1","key":"9454_CR20","first-page":"42","volume":"E81\u2013C","author":"H Iwamura","year":"1998","unstructured":"Iwamura, H., Akazawa, M., & Amemiya, Y. (1998). Single-electron majority logic circuits. IEICE Transactions on Electronics, E81\u2013C(1), 42\u201348.","journal-title":"IEICE Transactions on Electronics"},{"key":"9454_CR21","doi-asserted-by":"crossref","DOI":"10.2307\/jj.21995505","volume-title":"Introductory modal logic","author":"K Konyndyk","year":"1986","unstructured":"Konyndyk, K. (1986). Introductory modal logic. Notre Dame, IN: University of Notre Dame Press."},{"key":"9454_CR22","volume-title":"Elements of the theory of computation","author":"H Lewis","year":"1981","unstructured":"Lewis, H., & Papadimitriou, C. (1981). Elements of the theory of computation. Englewood Cliffs, NJ: Prentice Hall."},{"key":"9454_CR23","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0304-3975(94)90178-3","volume":"131","author":"H Siegelmann","year":"1994","unstructured":"Siegelmann, H., & Sontag, E. (1994). Analog computation via neural nets. Theoretical Computer Science, 131, 331\u2013360.","journal-title":"Theoretical Computer Science"},{"key":"9454_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0707-8","volume-title":"Neural networks and analog computation: Beyond the turing limit","author":"HT Siegelmann","year":"1999","unstructured":"Siegelmann, H. T. (1999). Neural networks and analog computation: Beyond the turing limit. Boston, MA: Birkh\u00e4user."},{"key":"9454_CR25","doi-asserted-by":"crossref","unstructured":"Sipser, M. (1992). The history and status of the P versus NP question. In Proceedings of the 24th annual ACM symposium on the theory of computing (pp.\u00a0603\u2013618).","DOI":"10.1145\/129712.129771"},{"key":"9454_CR26","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"AM Turing","year":"1937","unstructured":"Turing, A. M. (1937). On computable numbers with applications to the entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"9454_CR27","doi-asserted-by":"crossref","first-page":"2848","DOI":"10.1103\/PhysRevD.27.2848","volume":"27","author":"A Vilenkin","year":"1983","unstructured":"Vilenkin, A. (1983). Birth of inflationary universes. Physical Review D, 27, 2848\u20132855.","journal-title":"Physical Review D"},{"key":"9454_CR28","volume-title":"A new kind of science","author":"S Wolfram","year":"2002","unstructured":"Wolfram, S. (2002). A new kind of science. Champaign, IL: Wolfram Media."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-017-9454-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9454-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-017-9454-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T13:38:07Z","timestamp":1751031487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-017-9454-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,24]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9454"],"URL":"https:\/\/doi.org\/10.1007\/s11023-017-9454-1","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2017,11,24]]}}}