{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:23:58Z","timestamp":1742981038003,"version":"3.40.3"},"publisher-location":"Cham","reference-count":75,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030776565"},{"type":"electronic","value":"9783030776572"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-77657-2_2","type":"book-chapter","created":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T10:02:44Z","timestamp":1665655364000},"page":"23-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hilbert\u2019s Axiomatisches Denken"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"Sommaruga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,25]]},"reference":[{"key":"2_CR1","unstructured":"Panel discussion on the foundations of mathematics. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a011. Springer, 2022. This book."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Evandro Agazzi. The semantic function of the axiomatic method. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a04. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77657-2_4"},{"key":"2_CR3","unstructured":"John\u00a0L. Bell. Reflections on the axiomatic approach to continuity. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a05. Springer, 2022. This book."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Paul Bernays. Hilberts Untersuchungen \u00fcber die Grundlagen der Arithmetik. In David Hilbert: Gesammelte Abhandlungen, volume III, pages 196\u2013216. Springer, 1935.","DOI":"10.1007\/978-3-662-38452-7_14"},{"key":"2_CR5","unstructured":"Paul Bernays. Hilbert, David. In P.\u00a0Edwards, editor, Encyclopedia of Philosophy, volume\u00a03, pages 496\u2013504. Macmillan, 1967."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Paul Bernays. Scope and limits of axiomatics. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a03. Springer, 2022. This book. Reprinted from Mario Bunge, editor, Delaware Seminar in the Foundations of Physics, Springer-Verlag, 1967, pp.\u00a0188\u2013191.","DOI":"10.1007\/978-3-642-86102-4_11"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Otto Blumenthal. Lebensgeschichte. In David Hilbert: Gesammelte Abhandlungen, volume III, pages 388\u2013429. Springer, 1935.","DOI":"10.1007\/978-3-662-38452-7_25"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Udi Boker and Nachum Dershowitz. What is the Church-Turing Thesis? In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a09. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_9"},{"key":"2_CR9","unstructured":"Luitzen Egbertus\u00a0Jan Brouwer. Intuitionistische Betrachtungen \u00fcber den Formalismus. Koninklijke Akademie van wetenschappen te Amsterdam, Proceedings of the section of sciences, 31:374\u2013379, 1927. Translation in part in [10]."},{"key":"2_CR10","unstructured":"Luitzen Egbertus\u00a0Jan Brouwer. Intuitionistic reflections on formalism. In J.\u00a0van Heijenoort, editor, From Frege to G\u00f6del, pages 490\u2013492. Harvard University Press, 1967. English translation of \u00a71 of [9]."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Alonzo Church. A set of postulates for the foundations of logic. Annals of Mathematics (2), 33(2):346\u2013366, 1932.","DOI":"10.2307\/1968337"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Alonzo Church. A set of postulates for the foundations of logic (second paper). Annals of Mathematics (2), 34(4):839\u2013864, 1933.","DOI":"10.2307\/1968702"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Richard Courant. Reminiscences from Hilbert\u2019s G\u00f6ttingen. The Mathematical Intelligencer, 3(4):154\u2013164, 1981. Edited transcript of a talk given at Yale University on January 13, 1964.","DOI":"10.1007\/BF03022974"},{"issue":"509\u2013536","key":"2_CR14","doi-asserted-by":"publisher","first-page":"789","DOI":"10.2307\/2370716","volume":"52","author":"Haskell B Curry","year":"1930","unstructured":"Haskell\u00a0B. Curry. Grundlagen der kombinatorischen Logik. Amer. J. Math., 52:509\u2013536, 789\u2013834, 1930.","journal-title":"Amer. J. Math."},{"key":"2_CR15","unstructured":"Richard Dedekind. Was sind und was sollen die Zahlen? Vieweg, 1888."},{"key":"2_CR16","unstructured":"Erwin Engeler. Aristotle\u2019s relations: An interpretation in combinatory logic. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a05. Springer, 2022. This book."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Ferreir\u00f3s. The two sides of modern axiomatics: Dedekind and Peano, Hilbert and Bourbaki. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a06. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9"},{"key":"2_CR18","unstructured":"Gottlob Frege. Die Grundlagen der Arithmetik. Wilhelm Koebner, 1884. Reprinted, M.\u00a0 &\u00a0H. Barcus, Breslau, 1934 and Olms, Hildesheim, 1961. English translation in [20]."},{"key":"2_CR19","unstructured":"Gottlob Frege. Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, volume I\u2013II. Hermann Pohle, Jena, 1893\/1903."},{"key":"2_CR20","unstructured":"Gottlob Frege. The Foundations fo Arithmetic. Blackwell, 1950. Translation of [18] by J.\u00a0L. Austin."},{"issue":"176\u2013210","key":"2_CR21","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"Gerhard Gentzen","year":"1935","unstructured":"Gerhard Gentzen. Untersuchungen \u00fcber das logische Schlie\u00dfen I, II. Mathematische Zeitschrift, 39:176\u2013210, 405\u2013431, 1935.","journal-title":"II. Mathematische Zeitschrift"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"Gerhard Gentzen","year":"1936","unstructured":"Gerhard Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112:493\u2013565, 1936.","journal-title":"Mathematische Annalen"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Gerhard Gentzen. Die gegenw\u00e4rtige Lage in der mathematischen Grundlagenforschung. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge, 4:5\u201318, 1938. also in Deutsche Mathematik, 3:255\u2013268, 1939. English translation [24].","DOI":"10.2307\/2267796"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Gerhard Gentzen. The present state of research into the foundations of mathematics. In M.\u00a0E. Szabo, editor, The Collected Works of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, pages 234\u2013251. North-Holland, 1969. English translation of [23].","DOI":"10.1016\/S0049-237X(08)70826-7"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Domenico Giulini. Axiomatic thinking in physics \u2013\u00a0essence or useless ornament?\u00a0\u2013. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a010. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_10"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"Kurt G\u00f6del","year":"1931","unstructured":"Kurt G\u00f6del. \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. Monatshefte f\u00fcr Mathematik und Physik, 38:173\u2013198, 1931.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Lorenz Halbeisen. A framework for metamathematics. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a01. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_1"},{"key":"2_CR28","unstructured":"David Hilbert. Grundlagen der Geometrie. In Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen, herausgegeben vom Fest-Comitee, pages 1\u201392. Teubner, 1899."},{"key":"2_CR29","unstructured":"David Hilbert. Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongre\u00df zu Paris 1900. Nachrichten von der k\u00f6nigl. Gesellschaft der Wissenschaften zu G\u00f6ttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900, pages 253\u2013297, 1900. Reprinted in [37, pp.\u00a0290\u2013329]; English translation in [30]."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"David Hilbert. Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900. Bulletin of the American Mathematical Society, 8:437\u2013479, 1902. English translation of [29].","DOI":"10.1090\/S0002-9904-1902-00923-3"},{"key":"2_CR31","unstructured":"David Hilbert. \u00dcber die Grundlagen der Logik und der Arithmetik. In Adolf Krazer, editor, Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, pages 174\u2013185. Leipzig, 1905."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"David Hilbert. Hermann minkowski. G\u00f6ttinger Nachrichten, Gesch\u00e4ftliche Mitteilungen, pages 72\u2013101, 1909. Reprinted in: Mathematische Annalen, 68:445\u2013471, 1910 and in [37, pp.\u00a0339\u2013364].","DOI":"10.1007\/BF01455870"},{"key":"2_CR33","unstructured":"David Hilbert. Probleme der mathematischen Logik. Vorlesung Sommersemester 1920, Ausarbeitung von N. Sch\u00f6nfinkel und P. Bernays (Bibliothek des Mathematischen Instituts der Universit\u00e4t G\u00f6ttingen), 1920. Published in [40,342\u2013371]."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"David Hilbert. \u00dcber das Unendliche. Mathematische Annalen, 95:161\u2013190, 1926. English translation in [38].","DOI":"10.1007\/BF01206605"},{"key":"2_CR35","unstructured":"David Hilbert. Probleme der Grundlegung der Mathematik. In Atti del Congresso Internazionale dei Matematici (Bologna, 3\u201319 settembre 1928). Nicola Zanichelli, 1928a. Offprint; English translation in [39]."},{"issue":"1\/2","key":"2_CR36","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF02940602","volume":"6","author":"David Hilbert","year":"1928","unstructured":"David Hilbert. Die Grundlagen der Mathematik. Abhandlungen aus dem mathematischen Se-minar der Hamburgischen Universit\u00e4t, 6(1\/2):65\u201385, 1928b.","journal-title":"Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"David Hilbert. Gesammelte Abhandlungen, volume III: Analysis, Grundlagen der Mathematik, Physik, Verschiedenes, Lebensgeschichte. Springer, 1935. 2nd edition 1970.","DOI":"10.1007\/978-3-662-38452-7"},{"key":"2_CR38","unstructured":"David Hilbert. On the infinite. In Jean van Heijenoort, editor, From Frege to G\u00f6del, pages 367\u2013392. Harvard University Press, 1967. English translation of [34]."},{"key":"2_CR39","unstructured":"David Hilbert. Problems of the Grounding of Mathematics. In P.\u00a0Mancosu, editor, From Brouwer to Hilbert, pages 227\u2013233. Oxford University Press, 1998. English translation of [35]."},{"key":"2_CR40","unstructured":"David Hilbert. Lectures on the Foundations of Arithmetic and Logic 1917\u20131933, volume\u00a03 of David Hilbert\u2019s Lectures on the Foundations of Mathematics and Physics, 1891\u20131933. Springer, Edited by W. Ewald and W. Sieg edition, 2013."},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"David Hilbert. Axiomatisches Denken. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a01. Springer, 2022. This book. German original with English translation; the German text is reprinted from Mathematische Annalen, 78:405-415, 1918; the English translation of Joong Fang was first published in Joong Fang, editor, HILBERT\u2013Towards a Philosophy of Modern Mathematics II, Paideia Press, Hauppauge, N.Y.\u00a01970.","DOI":"10.1007\/BF01457115"},{"key":"2_CR42","unstructured":"David Hilbert and Wilhelm Ackermann. Grundz\u00fcge der theoretischen Logik, volume XXVII of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer, 1928."},{"key":"2_CR43","unstructured":"David Hilbert and Paul Bernays. Grundlagen der Mathematik I, volume\u00a040 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer, 1934. 2nd edition 1968."},{"key":"2_CR44","unstructured":"David Hilbert and Paul Bernays. Grundlagen der Mathematik\u00a0I\/Foundations of Mathematics\u00a0I. College Publications, 2011. Bilingual edition of Prefaces and \u00a7\u00a71\u20132 of [43]."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"In\u00eas Hipolito and Reinhard Kahle. Theme issue on \u201cThe notion of simple proof \u2013 Hilbert\u2019s 24th problem\u201d. Philosophical Transactions of the Royal Society A, 377, 2019.","DOI":"10.1098\/rsta.2018.0040"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Gerhard J\u00e4ger. Simplified cut elimination for Kripke-Platek set theory. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a02. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_2"},{"key":"2_CR47","unstructured":"Reinhard Kahle. David Hilbert \u00fcber Paradoxien, volume 06-17 of Pr\u00e9-publica\u00e7\u00f5es do Departamento de Matem\u00e1tica, Universidade de Coimbra. 2006."},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Reinhard Kahle. David Hilbert and the Principia Mathematica. In N.\u00a0Griffin and B.\u00a0Linsky, editors, The Palgrave Centenary Companion to Principia Mathematica, pages 21\u201334. Palgrave Macmillan, 2013.","DOI":"10.1057\/9781137344632_2"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Reinhard Kahle. Is there a \u201cHilbert Thesis\u201d? Studia Logica, 107(1):145\u2013165, 2019. Special Issue on General Proof Theory. Thomas Piecha and Peter Schroeder-Heister (Guest Editors).","DOI":"10.1007\/s11225-017-9776-2"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Reinhard Kahle. Dedekinds S\u00e4tze und Peanos Axiome. Philosophia Scienti\u00e6, 25(1):69\u201393, 2021. Special Issue on Giuseppe Peano and his School: logic, epistemology and didactics. Paola Cant\u00f9 and Erika Luciano (Guest Editors).","DOI":"10.4000\/philosophiascientiae.2846"},{"key":"2_CR51","volume-title":"Introduction to Metamathematics","author":"Stephen Cole Kleene","year":"1952","unstructured":"Stephen\u00a0Cole Kleene. Introduction to Metamathematics. D. Van Nostrand Company, New York, 1952."},{"key":"2_CR52","unstructured":"Andrei Kolmogorow. Grundbegriffe der Wahrscheinlichkeitstheorie. Springer, 1933."},{"key":"2_CR53","unstructured":"Georg Kreisel. G\u00f6del\u2019s excursions into intuitionistic logic. In Paul Weingartner and Leopold Schmetterer, editors, G\u00f6del Remembered, volume\u00a0IV of History of Logic, pages 65\u2013186. Bibliopolis, 1987."},{"key":"2_CR54","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1026278800910","volume":"137","author":"Paolo Mancosu","year":"2003","unstructured":"Paolo Mancosu. The Russellian influence on Hilbert and his school. Synthese, 137:59\u2013101, 2003.","journal-title":"Synthese"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"Barry Mazur. Notes for a seminar in axiomatic reasoning. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a07. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77657-2_7"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Colin McLarty. Abstract generality, simplicity, forgetting, and discovery. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a06. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_6"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Victor Pambuccian. Varieties of infiniteness in the existence of infinitely many primes. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a07. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_7"},{"key":"2_CR58","volume-title":"Arithmetices Principia Nova Methodo Exposita","author":"Ioseph Peano","year":"1889","unstructured":"Ioseph Peano. Arithmetices Principia Nova Methodo Exposita. Bocca, Augustae Taurinorum, 1889."},{"key":"2_CR59","unstructured":"Volker Peckhaus. Hilbertprogramm und Kritische Philosophie, volume\u00a07 of Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik. Vandenhoeck & Ruprecht, G\u00f6ttingen, 1990."},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Jean Petitot. Axiomatics as a functional strategy for complex proofs: the case of Riemann Hypothesis. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a08. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_8"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"Wolfram Pohlers. On the performance of axiom systems. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a03. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_3"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Michael Rathjen. Well-ordering principles in proof theory and reverse mathematics. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a04. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77799-9_4"},{"key":"2_CR63","unstructured":"Constance Reid. Hilbert. Springer, 1970."},{"key":"2_CR64","unstructured":"Bertrand Russell and Alfred\u00a0North Whitehead. Principia Mathematica, volume\u00a01. Cambridge University Press, 1910. vol.\u00a02, 1912; vol.\u00a03, 1913."},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Moses Sch\u00f6nfinkel. \u00dcber die Bausteine der mathematischen Logik. Mathematische Annalen, 92:305\u2013316, 1924. English translation [66].","DOI":"10.1007\/BF01448013"},{"key":"2_CR66","unstructured":"Moses Sch\u00f6nfinkel. On the building blocks of mathematical logic. In Jean van Heijenoort, editor, From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931. 73, pages 355\u2013366. Harvard University Press, 1967. English translation of [65]."},{"key":"2_CR67","doi-asserted-by":"crossref","unstructured":"Peter Schroeder-Heister. Axiomatic thinking, identity of proofs and the quest for an intensional proof-theoretic semantics. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a08. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77657-2_8"},{"issue":"1","key":"2_CR68","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/421139","volume":"5","author":"Wilfried Sieg","year":"1999","unstructured":"Wilfried Sieg. Hilbert\u2019s programs: 1917-1922. The Bulletin of Symbolic Logic, 5(1):1\u201344, 1999.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2_CR69","unstructured":"Wilfried Sieg. Proofs as objects. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a06. Springer, 2022. This book."},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Craig Smory\u0144ski. Where do axioms come from? In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 1: History and Philosophy, chapter\u00a010. Springer, 2022. This book.","DOI":"10.1007\/978-3-030-77657-2_10"},{"issue":"1","key":"2_CR71","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/00029890.2003.11919933","volume":"110","author":"R\u00fcdiger Thiele","year":"2003","unstructured":"R\u00fcdiger Thiele. Hilbert\u2019s twenty-fourth problem. American Mathematical Monthly, 110(1):1\u201324, 2003.","journal-title":"American Mathematical Monthly"},{"key":"2_CR72","first-page":"230","volume":"42","author":"Alan M Turing","year":"1936","unstructured":"Alan\u00a0M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42:230\u2013265, 1936.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"2_CR73","unstructured":"Jean van Heijenoort. From Frege to G\u00f6del. Harvard University Press, 1967."},{"key":"2_CR74","unstructured":"Paul Weingartner. Axiomatic thinking \u2013 applied to religion. In Fernando Ferreira, Reinhard Kahle, and Giovanni Sommaruga, editors, Axiomatic Thinking, volume 2: Logic, Mathematics, and other Sciences, chapter\u00a011. Springer, 2022. This book."},{"issue":"9","key":"2_CR75","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"Hermann Weyl","year":"1944","unstructured":"Hermann Weyl. David Hilbert and his mathematical work. Bulletin of the American Mathematical Society, 50(9):612\u2013654, 1944.","journal-title":"Bulletin of the American Mathematical Society"}],"container-title":["Axiomatic Thinking I"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-77657-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,8]],"date-time":"2023-03-08T04:54:54Z","timestamp":1678251294000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-77657-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030776565","9783030776572"],"references-count":75,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-77657-2_2","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}