{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:03:56Z","timestamp":1725879836286},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319418414"},{"type":"electronic","value":"9783319418421"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41842-1_14","type":"book-chapter","created":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T17:01:15Z","timestamp":1485968475000},"page":"349-356","source":"Crossref","is-referenced-by-count":0,"title":["Pragmatic Platonism"],"prefix":"10.1007","author":[{"given":"Martin","family":"Davis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"14_CR1","volume-title":"The anthropic cosmological principle","author":"JD Barrow","year":"1986","unstructured":"Barrow, J. D., & Tipler, F. J. (1986). The anthropic cosmological principle. Oxford: Oxford University Press."},{"key":"14_CR2","volume-title":"A treatise on differential equations","author":"G Boole","year":"1865","unstructured":"Boole, G. (1865). A treatise on differential equations. London: Macmillan and Co."},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"194","DOI":"10.2178\/bsl\/1120231630","volume":"11","author":"M Davis","year":"2005","unstructured":"Davis, M. (2005). What did G\u00f6del believe and when did he believe it? Bulletin of Symbolic Logic, 11, 194\u2013206.","journal-title":"Bulletin of Symbolic Logic"},{"key":"14_CR4","unstructured":"Davis, M., Matiyasevich, Yu., & Robinson, J. (1976). Hilbert\u2019s tenth problem. Diophantine equations: Positive aspects of a negative solution. In Proceedings of Symposia in Pure Mathematics: Positive Aspects of a Negative Solution (Vol. XXVIII, pp. 323\u2013378)."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Feferman, S., et al. (1986\u20132003). Kurt G\u00f6del Collected Works (Vols. I\u2013V). Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780198500735.001.0001"},{"key":"14_CR6","first-page":"269","volume":"100","author":"G Frege","year":"1892","unstructured":"Frege, G. (1892). Rezension von: Georg Cantor. Zum Lehre vom Transfiniten. Zeitschrift f\u00fcr Philosophie und philosophische Kritik, new series, 100, 269\u2013272.","journal-title":"Zeitschrift f\u00fcr Philosophie und philosophische Kritik, new series"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Mancosu, P. (1996). Philosophy of mathematics & mathematical practice in the seventeenth century. Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780195084634.001.0001"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"359","DOI":"10.2178\/bsl\/1286284558","volume":"16","author":"C McLarty","year":"2010","unstructured":"McLarty, C. (2010). What does it take to prove Fermat\u2019s last theorem? Grothendiek and the logic of number theory. Bulletin of Symbolic Logic, 16, 359\u2013377.","journal-title":"Bulletin of Symbolic Logic"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Post, E. L. (1944). Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, 50, 284\u2013316. Reprinted: M. Davis (Ed.), The undecidable Raven Press, New York 1965; Dover, New York 2004. Reprinted:: M. Davis (Ed.), Solvability, provability, definability: The collected works of Emil L. Post, Birkh\u00e4user 1994.","DOI":"10.1090\/S0002-9904-1944-08111-1"},{"key":"14_CR10","unstructured":"van Heijenoort, J. (Ed.) (1967). From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931. Cambridge: Harvard University Press."}],"container-title":["Outstanding Contributions to Logic","Martin Davis on Computability, Computational Logic, and Mathematical Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41842-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T06:00:39Z","timestamp":1719036039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41842-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319418414","9783319418421"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41842-1_14","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2016]]}}}