{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:37Z","timestamp":1750306297089,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"11","license":[{"start":{"date-parts":[[2016,10,28]],"date-time":"2016-10-28T00:00:00Z","timestamp":1477612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2016,10,28]]},"abstract":"<jats:p>Questioning if computer science is outgrowing its traditional foundations.<\/jats:p>","DOI":"10.1145\/2908733","type":"journal-article","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T12:29:14Z","timestamp":1477916954000},"page":"34-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Time to reinspect the foundations?"],"prefix":"10.1145","volume":"59","author":[{"given":"Jack","family":"Copeland","sequence":"first","affiliation":[{"name":"University of Canterbury, New Zealand"}]},{"given":"Eli","family":"Dresner","sequence":"additional","affiliation":[{"name":"Tel Aviv University"}]},{"given":"Diane","family":"Proudfoot","sequence":"additional","affiliation":[{"name":"University of Canterbury"}]},{"given":"Oron","family":"Shagrir","sequence":"additional","affiliation":[{"name":"Hebrew University of Jerusalem"}]}],"member":"320","published-online":{"date-parts":[[2016,10,28]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics","author":"Aharonov D.","year":"2013","unstructured":"Aharonov , D. and Vazirani , U.V . Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics . In B.J. Copeland, C. Posy, and O. Shagrir, Eds., Computability : G\u00f6del, Turing, Church and Beyond, MIT Press , Cambridge, MA, 2013 . Aharonov, D. and Vazirani, U.V. Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics. In B.J. Copeland, C. Posy, and O. Shagrir, Eds., Computability: G\u00f6del, Turing, Church and Beyond, MIT Press, Cambridge, MA, 2013."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167097"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1349751"},{"key":"e_1_2_1_4_1","volume-title":"The Church-Turing Thesis. The Stanford Encyclopedia of Philosophy","author":"Copeland B. J.","year":"2002","unstructured":"Copeland , B. J. The Church-Turing Thesis. The Stanford Encyclopedia of Philosophy . E.N. Zalta, Ed., 2002 ; http:\/\/plato.stanford.edu\/entries\/church-turing\/. Copeland, B. J. The Church-Turing Thesis. The Stanford Encyclopedia of Philosophy. E.N. Zalta, Ed., 2002; http:\/\/plato.stanford.edu\/entries\/church-turing\/."},{"key":"e_1_2_1_5_1","first-page":"5","article-title":"Narrow versus wide mechanism","volume":"97","author":"Copeland B.J","year":"2000","unstructured":"Copeland , B.J . Narrow versus wide mechanism . The Journal of Philosophy 97 , ( 2000 ), 5 -- 32 . Copeland, B.J. Narrow versus wide mechanism. The Journal of Philosophy 97, (2000), 5--32.","journal-title":"The Journal of Philosophy"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.12.014"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0499-98"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/8009.001.0001","volume-title":"Turing versus G\u00f6del on computability and the mind","author":"Copeland B.J.","year":"2013","unstructured":"Copeland , B.J. and Shagrir , O . Turing versus G\u00f6del on computability and the mind . In B.J. Copeland, C. Posy, and O. Shagrir, Eds. Computability: G\u00f6del, Turing, Church and Beyond, MIT Press , Cambridge, MA, 2013 . Copeland, B.J. and Shagrir, O. Turing versus G\u00f6del on computability and the mind. In B.J. Copeland, C. Posy, and O. Shagrir, Eds. Computability: G\u00f6del, Turing, Church and Beyond, MIT Press, Cambridge, MA, 2013."},{"key":"e_1_2_1_9_1","volume-title":"The stored-program universal computer: Did Zuse anticipate Turing and von Neumann? In G","author":"Copeland B.J.","year":"2006","unstructured":"Copeland , B.J. and Sommaruga , G . The stored-program universal computer: Did Zuse anticipate Turing and von Neumann? In G . Sommaruga and T. Strahm, Eds., Turing's Revolution, Birkhauser, Basel , 2006 . Copeland, B.J. and Sommaruga, G. The stored-program universal computer: Did Zuse anticipate Turing and von Neumann? In G. Sommaruga and T. Strahm, Eds., Turing's Revolution, Birkhauser, Basel, 2006."},{"key":"e_1_2_1_10_1","volume-title":"Alan Turing: Life and Legacy of a Great Thinker","author":"Davis M.","year":"2004","unstructured":"Davis , M. The myth of hypercomputation . In C. Teuscher, Ed., Alan Turing: Life and Legacy of a Great Thinker . Springer Verlag , Berlin , 2004 , 195--212. Davis, M. The myth of hypercomputation. In C. Teuscher, Ed., Alan Turing: Life and Legacy of a Great Thinker. Springer Verlag, Berlin, 2004, 195--212."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014019225365"},{"key":"e_1_2_1_12_1","volume-title":"The Kleene Symposium, North-Holland","author":"Gandy R.","year":"1980","unstructured":"Gandy , R. Church's thesis and principles for mechanisms. In J. Barwise, D. Kaplan, H.J. Keisler, P. Suppes, and A.S. Troelstra, Eds ., The Kleene Symposium, North-Holland , Amsterdam , 1980 . Gandy, R. Church's thesis and principles for mechanisms. In J. Barwise, D. Kaplan, H.J. Keisler, P. Suppes, and A.S. Troelstra, Eds., The Kleene Symposium, North-Holland, Amsterdam, 1980."},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804106","volume-title":"Computational Complexity: A Conceptual Perspective","author":"Goldreich O.","year":"2008","unstructured":"Goldreich , O. Computational Complexity: A Conceptual Perspective . Cambridge University Press , 2008 . Goldreich, O. Computational Complexity: A Conceptual Perspective. Cambridge University Press, 2008."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00682813"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151240"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11780342_42"},{"key":"e_1_2_1_17_1","first-page":"81","article-title":"The physical Church thesis and physical computational complexity","volume":"39","author":"Pitowsky I","year":"1990","unstructured":"Pitowsky , I . The physical Church thesis and physical computational complexity . Iyyun 39 ( 1990 ), 81 -- 99 . Pitowsky, I. The physical Church thesis and physical computational complexity. Iyyun 39 (1990), 81--99.","journal-title":"Iyyun"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90001-3"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021365222692"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"e_1_2_1_21_1","volume-title":"Reflections on the Foundations of Mathematics","author":"Sieg W.","year":"2002","unstructured":"Sieg , W. Calculations by man and machine: Conceptual analysis . In W. Sieg, R. Sommer, and C. Talcott, Eds., Reflections on the Foundations of Mathematics , Association for Symbolic Logic , Natick, MA , 2002 , 390--409. Sieg, W. Calculations by man and machine: Conceptual analysis. In W. Sieg, R. Sommer, and C. Talcott, Eds., Reflections on the Foundations of Mathematics, Association for Symbolic Logic, Natick, MA, 2002, 390--409."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-51555-1.50017-1"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01888233"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/641205.641235"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908733","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:13Z","timestamp":1750221553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908733"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,28]]},"references-count":24,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,10,28]]}},"alternative-id":["10.1145\/2908733"],"URL":"https:\/\/doi.org\/10.1145\/2908733","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2016,10,28]]},"assertion":[{"value":"2016-10-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}