{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:13:27Z","timestamp":1725988407460},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319937328"},{"type":"electronic","value":"9783319937335"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93733-5_6","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T05:24:26Z","timestamp":1534224266000},"page":"117-126","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["M \u00a0\u00a0 \u00a0\u00a0"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"6_CR1","unstructured":"Ackermann, W. (1933). Letter to David Hilbert, August 23rd, 1933, Nieders\u00e4chsische Staats- und Universit\u00e4tsbibliothek G\u00f6ttingen, Cod. Ms. D. Hilbert\u00a01."},{"key":"6_CR2","unstructured":"Bernays, P. (1935). Hilberts Untersuchungen \u00fcber die Grundlagen der Arithmetik. In David Hilbert: Gesammelte Abhandlungen (Hilbert 1935) (Vol. III, pp. 196\u2013216). Berlin: Springer."},{"issue":"1\u20132","key":"6_CR3","first-page":"1","volume":"27\u201328","author":"P Bernays","year":"1954","unstructured":"Bernays, P. (1954). Zur Beurteilung der Situation in der beweistheoretischen Forschung. Revue Internationale de Philosophie, 27\u201328(1\u20132), 1\u20135.","journal-title":"Revue Internationale de Philosophie"},{"key":"6_CR4","unstructured":"Bernays, P. (1935). \u00dcber den Platonismus in der Mathematik. In Abhandlungen zur Philosophie der Mathematik (pp. 62\u201378). Darmstadt: Wissenschaftliche Buchgesellschaft, 1976 (German translation of a talk given in 1934 and published in French in 1935)."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bourbaki, N. (1994). Elements of the History of Mathematics. Berlin: Springer.","DOI":"10.1007\/978-3-642-61693-8"},{"key":"6_CR6","unstructured":"Brouwer, L. E. J. (1927). Intuitionistische Betrachtungen \u00fcber den Formalismus. Koninklijke Akademie van wetenschappen te Amsterdam, Proceedings of the section of sciences, 31, 374\u2013379. Translation in Part in Intuitionistic reflections on formalism (van Heijenoort 1967) pp. 490\u2013492."},{"key":"6_CR7","unstructured":"Crozet, P. (2018). Avicenna and number theory. In H. Tahiri (Ed.), The Philosophers and Mathematics (pp. 67\u201380). Berlin: Springer."},{"key":"6_CR8","unstructured":"Diogenes Laertius (1959). Lives of Eminent Philosophers. Volume I. Cambridge Mass.: Harvard University Press."},{"key":"6_CR9","unstructured":"Eliae (1900). In Aristotelis Categorias. Commentarium. In A. Busse (Ed.), Commentaria in Aristotelem graeca (Vol. XVIII, Part I, pp. 1-255). Berlin: Georg Reimer."},{"key":"6_CR10","unstructured":"Ewald, W. (Ed.). (1996). From Kant to Hilbert (Vol. 1). Oxford: Clarendon Press."},{"key":"6_CR11","unstructured":"Gentzen, G. (1938). Die gegenw\u00e4rtige Lage in der mathematischen Grundlagenforschung. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge, 4, 5\u201318. also in Deutsche Mathematik, 3, 255\u2013268, 1939. English translation in (Gentzen 1969 #7)."},{"key":"6_CR12","volume-title":"Collected Works","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G. (1969). Collected Works. Amsterdam: North-Holland."},{"key":"6_CR13","unstructured":"Hilbert, D., & Bernays, P. (1934). Grundlagen der Mathematik I, volume 40 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Berlin: Springer. (2nd ed. 1968). Partly translated into English in the bilingual edition (Hilbert and Bernays 2011)."},{"key":"6_CR14","unstructured":"Hilbert, D., & Bernays, P. (1939). Grundlagen der Mathematik II, volume 50 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Berlin: Springer (2nd ed. 1970)."},{"key":"6_CR15","unstructured":"Hilbert, D., & Bernays, P. (2011). Grundlagen der Mathematik I\/Foundations of Mathematics I. Washington, DC: College Publications (Bilingual edition of Prefaces and \u00a7\u00a71\u20132 of Hilbert and Paul Bernays 1934)."},{"key":"6_CR16","unstructured":"Hilbert, D. (1899). Grundlagen der Geometrie. Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen, herausgegeben vom Fest-Comitee (pp. 1\u201392). Leipzig: Teubner."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Hilbert, D. (1935). Gesammelte Abhandlungen, vol. III: Analysis, Grundlagen der Mathematik, Physik, Verschiedenes, Lebensgeschichte. Berlin: Springer (2nd ed. 1970).","DOI":"10.1007\/978-3-662-38452-7"},{"key":"6_CR18","unstructured":"Hilbert, D. (1967). The foundations of mathematics. In J. Heijenoort (Ed.), From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931 (pp. 464\u2013479) (van Heijenoort 1967). Cambridge, MA: Harvard University Press."},{"issue":"4","key":"6_CR19","doi-asserted-by":"publisher","first-page":"633","DOI":"10.5840\/monist191525423","volume":"25","author":"PEB Jourdain","year":"1915","unstructured":"Jourdain, P. E. B. (1915). Mathematicians and philosophers. The Monist, 25(4), 633\u2013638.","journal-title":"The Monist"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1057\/9781137344632_2","volume-title":"The Palgrave Centenary Companion to Principia Mathematica","author":"R Kahle","year":"2013","unstructured":"Kahle, R. (2013). David Hilbert and the Principia Mathematica. In N. Griffin & B. Linsky (Eds.), The Palgrave Centenary Companion to Principia Mathematica (pp. 21\u201334). London: Palgrave Macmillan."},{"key":"6_CR21","unstructured":"Kahle, R. (2014). Poincar\u00e9 in G\u00f6ttingen. In M. de Paz & R. DiSalle (Eds.), Poincar\u00e9, Philosopher of Science, volume 79 of The Western Ontario Series in Philosophy of Science (pp. 83\u201399). Berlin: Springer."},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-10103-3_1","volume-title":"Gentzen\u2019s Centenary","author":"R Kahle","year":"2015","unstructured":"Kahle, R. (2015). Gentzen\u2019s consistency proof in context. In R. Kahle & M. Rathjen (Eds.), Gentzen\u2019s Centenary (pp. 3\u201324). Berlin: Springer."},{"key":"6_CR23","unstructured":"Korselt, A. (1903). \u00dcber die Grundlagen der Geometrie. Jahresbericht der Deutschen Mathematiker-Vereinigung, 12, 402\u2013407."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1017\/CBO9780511974236.005","volume-title":"Kurt G\u00f6del and the Foundations of Mathematics","author":"G Kreisel","year":"2011","unstructured":"Kreisel, G. (2011). Logical hygiene, foundations, and abstractions: Diversity among aspects and options. In M. Baaz, et al. (Eds.), Kurt G\u00f6del and the Foundations of Mathematics (pp. 27\u201353). Cambridge, MA: Cambridge University Press."},{"key":"6_CR25","unstructured":"Mazliak, L. (Ed.) (2013). La voyage de Maurice Janet \u00e1 G\u00f6ttingen. Les \u00c9ditions Materiologiques."},{"key":"6_CR26","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1515\/9781400842681.105","volume-title":"Circles Disturbed","author":"C McLarty","year":"2012","unstructured":"McLarty, C. (2012). Hilbert on theology and its discontents. In A. Doxiadis & B. Mazur (Eds.), Circles Disturbed (pp. 105\u2013129). Princeton: Princeton University Press."},{"key":"6_CR27","unstructured":"Peckhaus, V. (1990). Hilbertprogramm und Kritische Philosophie, volume 7 of Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik. Vandenhoeck & Ruprecht, G\u00f6ttingen."},{"key":"6_CR28","unstructured":"Peters, C. A. F. (Ed) (1862). Briefwechsel zwischen C. F. Gauss und H. C. Schumacher, vol.\u00a04. Gustav Esch, Altona."},{"key":"6_CR29","unstructured":"Philoponus, J. (1897). Ioannis Philoponi in Aristotelis De anima libros commentaria. In M. Heyduck (Ed.), Commentaria in Aristotelem graeca (Vol. XV). Berlin: Georg Reimer."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"von Plato, J. (2016). In search of the roots of formal computation. In F.\u00a0Gadducci, M. Tavosanis (Eds.), History and Philosophy of Computing. HaPoC 2015, volume 487 of IFIP Advances in Information and Communication Technology (pp. 300\u2013320). Berlin: Springer.","DOI":"10.1007\/978-3-319-47286-7_21"},{"key":"6_CR31","unstructured":"Rashed, R. (2008). The philosophy of mathematics. In S. Rahman, T. Street, & H. Tahiri (Eds.), The Unity of Science in the Arabic Tradition, volume 11 of Logic, Epistemology, and the Unity of Scienced (pp. 153\u2013182). Berlin: Springer."},{"key":"6_CR32","unstructured":"Rashed, R. (2018). Avicenna: Mathematics and philosophy. In H. Tahiri (Ed.), The Philosophers and Mathematics (pp. 67\u201380). Berlin: Springer."},{"key":"6_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-28615-9","volume-title":"Hilbert","author":"C Reid","year":"1970","unstructured":"Reid, C. (1970). Hilbert. Berlin: Springer."},{"key":"6_CR34","unstructured":"Sinaceur, H. B. (2018). Scientific Philosophy and Philosophical Science. In H. Tahiri (Ed.), The Philosophers and Mathematics (pp. 25\u201366). Berlin: Springer."},{"issue":"8","key":"6_CR35","first-page":"799","volume":"101","author":"C Smory\u0144ski","year":"1994","unstructured":"Smory\u0144ski, C. (1994). Review of Brouwer\u2019s Intutionism by W. P. van Stigt. The American Mathematical Monthly, 101(8), 799\u2013802.","journal-title":"The American Mathematical Monthly"},{"key":"6_CR36","unstructured":"Tapp, C. (2005). Kardinalit\u00e4t und Kardin\u00e4le, volume\u00a053 of Boethius. Stuttgart: Franz Steiner."},{"key":"6_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29654-3","volume-title":"An den Grenzen des Endlichen. Mathematik im Kontext","author":"C Tapp","year":"2013","unstructured":"Tapp, C. (2013). An den Grenzen des Endlichen. Mathematik im Kontext. Berlin: Springer."},{"key":"6_CR38","unstructured":"Toepell, M. (1999). Zur Entstehung und Weiterentwicklung von David Hilberts \u201cGrundlagen der Geometrie\u201d. In David Hilbert: Grundlagen der Geometrie (14th ed., pp. 283\u2013324). Stuttgart: Teubner."},{"key":"6_CR39","unstructured":"van Dalen, D. (2013). L.E.J. Brouwer. Berlin: Springer."},{"volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931","year":"1967","key":"6_CR40","unstructured":"van Heijenoort, J. (Ed.). (1967). From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931. Cambridge, MA: Harvard University Press."},{"key":"6_CR41","unstructured":"Volk, O. (1925). Kant und die Mathematik. In Mathematik und Erkenntnis (pp. 74\u201377). K\u00f6nigshausen & Neumann (German translation of a paper originally written in Lithuanian and published in Kosmos, vol. 6, pp. 320\u2013323"}],"container-title":["Logic, Epistemology, and the Unity of Science","The Philosophers and Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93733-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T07:44:37Z","timestamp":1571730277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93733-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319937328","9783319937335"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93733-5_6","relation":{},"ISSN":["2214-9775","2214-9783"],"issn-type":[{"type":"print","value":"2214-9775"},{"type":"electronic","value":"2214-9783"}],"subject":[],"published":{"date-parts":[[2018]]}}}