{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T20:02:53Z","timestamp":1771444973870,"version":"3.50.1"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","license":[{"start":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T00:00:00Z","timestamp":1771372800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T00:00:00Z","timestamp":1771372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002345","name":"Eberhard Karls Universit\u00e4t T\u00fcbingen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002345","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Topoi"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    We discuss Georg Kreisel\u2019s perception of Hilbert\u2019s Programme, paying particular attention to his\n                    <jats:italic>post-G\u00f6delian perspective<\/jats:italic>\n                    .\n                  <\/jats:p>","DOI":"10.1007\/s11245-025-10337-7","type":"journal-article","created":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T19:10:14Z","timestamp":1771441814000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hilbert\u2019s Programme and Georg Kreisel I:\u00a0The Post-G\u00f6delian Perspective"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9064-877X","authenticated-orcid":false,"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,18]]},"reference":[{"key":"10337_CR1","first-page":"1","volume-title":"Letter to David Hilbert, August 23rd, Nieders\u00e4chsische Staats- und Universit\u00e4tsbibliothek G\u00f6ttingen","author":"W Ackermann","year":"1933","unstructured":"Ackermann W (1933) Letter to David Hilbert, August 23rd, Nieders\u00e4chsische Staats- und Universit\u00e4tsbibliothek G\u00f6ttingen. Cod. Ms. D. Hilbert 1"},{"key":"10337_CR2","unstructured":"Barendregt H (1996) Kreisel, lambda calculus, a windmill and a castle, In Kreiseliana. About and Around Georg Kreisel, ed. Odifreddi, P., A.K. Peters, Wellesley, Massachusetts, pp 3\u201314"},{"key":"10337_CR3","unstructured":"Barwise J (1996) The right things for the right reasons, In Kreiseliana.About and Around Georg Kreisel, ed. Odifreddi, P., A.K. Peters, Wellesley, Massachusetts, pp 15\u201323"},{"key":"10337_CR4","doi-asserted-by":"crossref","unstructured":"Benacerraf P, Putnam H eds. (1964) Philosophy of Mathematics. Selected Readings. Prentice Hall. 2nd edition, Cambridge University Press, 1983","DOI":"10.1017\/CBO9781139171519"},{"issue":"1","key":"10337_CR5","first-page":"22","volume":"81","author":"P Bernays","year":"1978","unstructured":"Bernays P (1978) Nachwort. Jahresber Dtsch Math-Ver 81(1):22\u201324","journal-title":"Jahresber Dtsch Math-Ver"},{"key":"10337_CR6","doi-asserted-by":"crossref","unstructured":"Bishop E (1985). Schizophrenia in contemporary mathematics, In Errett Bishop: Reflections on Him and His Research, ed. Rosenblatt, M., 1\u201332. American Mathematical Society","DOI":"10.1090\/conm\/039\/788163"},{"key":"10337_CR7","unstructured":"Bois-Reymond ED (1872) \u00dcber die Grenzen des Naturerkennens. Veit"},{"key":"10337_CR10","first-page":"1","volume":"154","author":"LEJ Brouwer","year":"1923","unstructured":"Brouwer LEJ (1923) \u00dcber die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie. J Reine Angew Math 154:1\u20137","journal-title":"J Reine Angew Math"},{"key":"10337_CR11","first-page":"374","volume":"31","author":"LEJ Brouwer","year":"1928","unstructured":"Brouwer LEJ (1928) Intuitionistische Betrachtungen \u00dcber den Formalismus. Koninklijke Akademievan wetenschappen te Amsterdam Proceedings of the section of sciences 31:374\u2013379","journal-title":"Koninklijke Akademievan wetenschappen te Amsterdam Proceedings of the section of sciences"},{"key":"10337_CR8","unstructured":"Brouwer LEJ (1967a) Intuitionistic reflections on formalism, In From Frege to G\u00f6del, ed. van Heijenoort, J., 490\u2013492. Harvard University Press. English translation of \u00a71 of (Brouwer, 1928)"},{"key":"10337_CR9","unstructured":"Brouwer LEJ (1967b) On the significance of the principle of excluded middle in mathematics, especially in function theory, In From Frege to G\u00f6del, ed. van Heijenoort, J., 334\u2013341. Harvard University Press. English translation of (Brouwer, 1923)"},{"key":"10337_CR12","unstructured":"Dean W, Kurokawa H (2026) On the methodology of informal rigour: set theory, semantics, and intuitionism. Forthcoming in the Journal of Philosophical Logic."},{"key":"10337_CR13","unstructured":"Delzell CN (1996) Kreisel\u2019s unwinding of Artin\u2019s proof, In Kreiseliana. About and Around Georg Kreisel, ed. Odifreddi, P., A.K. Peters, Wellesley, Massachusetts, pp 113\u2013246"},{"key":"10337_CR14","doi-asserted-by":"crossref","unstructured":"Detlefsen M (2015) Gentzen\u2019s anti-formalist views, In Gentzen\u2019s Centenary: The Quest for Consistency, eds. Kahle, R. and M.\u00a0Rathjen, 25\u201344. Springer","DOI":"10.1007\/978-3-319-10103-3_2"},{"key":"10337_CR16","first-page":"65","volume":"9","author":"G Gentzen","year":"1936","unstructured":"Gentzen G (1936) Der Unendlichkeitsbegriff in der Mathematik. Semesterber M\u00fcnster 9:65\u201380","journal-title":"Math Phys Semesterber"},{"key":"10337_CR17","first-page":"5","volume":"4","author":"G Gentzen","year":"1938","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","journal-title":"Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften Neue Folge"},{"key":"10337_CR15","doi-asserted-by":"crossref","unstructured":"Gentzen G (1969) The present state of research into the foundations of mathematics, In The Collected Works of Gerhard Gentzen, ed. Szabo, M.E., Studies in Logic and the Foundations of Mathematics, 234\u2013251. North-Holland. English translation of (Gentzen, 1938)","DOI":"10.1016\/S0049-237X(08)70826-7"},{"key":"10337_CR18","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del K (1931) \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatsh Math Phys 38:173\u2013198","journal-title":"Monatsh Math Phys"},{"key":"10337_CR21","first-page":"253","volume":"1900","author":"D Hilbert","year":"1900","unstructured":"Hilbert D (1900) 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:253\u2013297","journal-title":"Mathematisch-physikalische Klasse aus dem Jahre"},{"key":"10337_CR19","unstructured":"Hilbert D (1905) Logische Principien des mathematischen Denkens. Vorlesung Sommersemester 1905, Ausarbeitung von Ernst Hellinger (Bibliothek des Mathematischen Instituts der Universit\u00e4t G\u00f6ttingen)"},{"issue":"3\/4","key":"10337_CR22","first-page":"405","volume":"78","author":"D Hilbert","year":"1918","unstructured":"Hilbert D (1918) Axiomatisches Denken. Math Ann 78(3\/4):405\u2013415","journal-title":"Math Ann"},{"key":"10337_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D Hilbert","year":"1926","unstructured":"Hilbert D (1926) \u00dcber das Unendliche. Math Ann 95:161\u2013190","journal-title":"Math Ann"},{"key":"10337_CR20","unstructured":"Hilbert D (1996) Axiomatic thought, In From Kant to Hilbert: A Source Book in the Foundations of Mathematics, ed. Ewald, W., Volume\u00a02, 1105\u20131115. Clarendon Press, Oxford. Translation of (Hilbert, 1918)"},{"key":"10337_CR24","volume-title":"Grundz\u00fcge der theoretischen Logik","author":"D Hilbert","year":"1928","unstructured":"Hilbert D, Ackermann W (1928) Grundz\u00fcge der theoretischen Logik. Springer"},{"key":"10337_CR25","doi-asserted-by":"crossref","unstructured":"Hilbert D, Bernays P (1934) Grundlagen der Mathematik I, Volume\u00a040 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer. 2nd edition 1968","DOI":"10.1007\/978-3-642-86894-8"},{"key":"10337_CR26","doi-asserted-by":"crossref","unstructured":"Hilbert D, Bernays P (1939) Grundlagen der Mathematik II, Volume\u00a050 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer. 2nd edition 1970","DOI":"10.1007\/978-3-642-86896-2"},{"key":"10337_CR28","unstructured":"Hilbert D, Bernays P (2011) Grundlagen der Mathematik\u00a0I\/Foundations of Mathematics\u00a0I, Part A. College Publications. Bilingual edition of Prefaces and \u00a7\u00a71\u20132 of the second edition of (Hilbert and Bernays, 1934)"},{"key":"10337_CR29","unstructured":"Howard WA (1996) Some proof theory in the 1960\u2019s, In Kreiseliana.About and Around Georg Kreisel, ed. Odifreddi, P., A.K. Peters, Wellesley, Massachusetts, pp 275\u2013288"},{"key":"10337_CR30","unstructured":"Kahle R (2006) David Hilbert \u00fcber Paradoxien. Technical report 06\u201317, Pr\u00e9-publica\u00e7\u00f5es do Departamento de Matem\u00e1tica, Universidade de Coimbra"},{"key":"10337_CR31","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene SC (1952) Introduction to Metamathematics. North Holland"},{"issue":"3","key":"10337_CR32","first-page":"1","volume":"16","author":"U Kohlenbach","year":"2023","unstructured":"Kohlenbach U (2023) Kreisel\u2019s shift of emphasis and contemporary proof mining. Stud Logic 16(3):1\u201335","journal-title":"Stud Logic"},{"key":"10337_CR41","first-page":"241","volume":"16","author":"G Kreisel","year":"1951","unstructured":"Kreisel G (1951a) On the interpretation of non-finitist proofs\u2013Part I. J Symb Log 16:241\u2013267","journal-title":"J Symb Log"},{"key":"10337_CR42","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2307\/2267457","volume":"17","author":"G Kreisel","year":"1951","unstructured":"Kreisel G (1951b) On the interpretation of non-finitist proofs\u2013Part II. J Symb Log 17:43\u201358","journal-title":"J Symb Log"},{"key":"10337_CR43","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1111\/j.1746-8361.1958.tb01469.x","volume":"12","author":"G Kreisel","year":"1958","unstructured":"Kreisel G (1958a) Hilbert\u2019s programme. Dialectica 12:346\u2013372","journal-title":"Dialectica"},{"issue":"2","key":"10337_CR44","doi-asserted-by":"publisher","first-page":"155","DOI":"10.2307\/2964396","volume":"23","author":"G Kreisel","year":"1958","unstructured":"Kreisel G (1958b) Mathematical significance of consistency proofs. J Symb Log 23(2):155\u2013182","journal-title":"J Symb Log"},{"key":"10337_CR33","unstructured":"Kreisel G (1964) Hilbert\u2019s programme, In Philosophy of Mathematics. Selected Readings, eds. Benacerraf, P. and H.\u00a0Putnam, 157\u2013180. Prentice Hall. Reprint of (Kreisel, 1958a); reprinted, with a new postscript and additional notes, as (Kreisel, 1983)"},{"key":"10337_CR34","unstructured":"Kreisel G (1965) Mathematical logic, In Lectures on Mondern Mathematics, ed. Saaty, T.L., Volume III, 95\u2013195. John Wiley & Sons"},{"key":"10337_CR35","doi-asserted-by":"crossref","unstructured":"Kreisel G (1967) Informal rigour and completeness proofs, In Problems in the Philosophy of Mathematics, ed. Lakatos, I., Volume\u00a047 of Studies in Logic and the Foundations of Mathematics, 138\u2013186. Elsevier.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"issue":"3","key":"10337_CR45","doi-asserted-by":"publisher","first-page":"321","DOI":"10.2307\/2270324","volume":"33","author":"G Kreisel","year":"1968","unstructured":"Kreisel G (1968) A survey of proof theory. J Symb Log 33(3):321\u2013388","journal-title":"J Symb Log"},{"issue":"1","key":"10337_CR46","first-page":"2","volume":"I","author":"G Kreisel","year":"1970","unstructured":"Kreisel G (1970) The formalist-positivist doctrine of mathematical precision in the light of experience. L\u2019age de la science II I(1):2\u201346","journal-title":"L\u2019age de la science II"},{"key":"10337_CR36","doi-asserted-by":"crossref","unstructured":"Kreisel G (1976a) What have we learnt from Hilbert\u2019s second problem?, In Mathematical developments arising from Hilbert Problems, ed. Browder, F.E., Volume 28 \u2014 Part 1 of Proceedings of Symposia in Pure Mathematics, 93\u2013130. American Mathematical Society","DOI":"10.1090\/pspum\/028.1\/0434781"},{"key":"10337_CR47","first-page":"177","volume":"78","author":"G Kreisel","year":"1976","unstructured":"Kreisel G (1976b) Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Jahresber Dtsch Math-Ver 78:177\u2013223","journal-title":"Jahresber Dtsch Math-Ver"},{"key":"10337_CR48","first-page":"149","volume":"26","author":"G Kreisel","year":"1980","unstructured":"Kreisel G (1980) Kurt G\u00f6del. Biogr Mem Fellows R Soc 26:149\u2013224","journal-title":"Biogr Mem Fellows R Soc"},{"key":"10337_CR37","doi-asserted-by":"crossref","unstructured":"Kreisel G (1981) Constructive approaches to logic, In Modern Logic \u2013 A Survey, ed. Agazzi, E., Volume 149 of Synthese Library, 67\u201391. Reidel","DOI":"10.1007\/978-94-009-9056-2_5"},{"key":"10337_CR38","doi-asserted-by":"crossref","unstructured":"Kreisel G (1983) Hilbert\u2019s programme, In Philosophy of Mathematics. Selected Readings, eds. Benacerraf, P. and H.\u00a0Putnam, 207\u2013238. Cambridge University Press. Reprint of (Kreisel, 1958a, 1964) with a new postscript and additional notes","DOI":"10.1017\/CBO9781139171519.012"},{"key":"10337_CR39","unstructured":"Kreisel G (1987) G\u00f6del\u2019s excursions into intuitionistic logic, In G\u00f6del Remembered, eds. Weingartner, P. and L.\u00a0Schmetterer, Volume\u00a0IV of History of Logic, 65\u2013186. Bibliopolis"},{"key":"10337_CR40","doi-asserted-by":"crossref","unstructured":"Kreisel G (2011) Logical hygiene, foundations, and abstractions: Diversity among aspects and options, In Kurt G\u00f6del and the Foundations of Mathematics, eds. Baaz, M. et\u00a0al., 27\u201353. Cambridge University Press","DOI":"10.1017\/CBO9780511974236.005"},{"key":"10337_CR49","volume-title":"Elements of Mathematical Logic","author":"G Kreisel","year":"1967","unstructured":"Kreisel G, Krivine JL (1967) Elements of Mathematical Logic. North-Holland"},{"key":"10337_CR50","first-page":"2419","volume":"363","author":"A Macintyre","year":"2005","unstructured":"Macintyre A (2005) The mathematical significance of proof theory. Philos Trans R Soc Lond A Math Phys Eng Sci 363:2419\u20132435","journal-title":"Philos Trans R Soc Lond A Math Phys Eng Sci"},{"key":"10337_CR51","volume-title":"Kreiseliana. About and Around Georg Kreisel","author":"P Odifreddi","year":"1996","unstructured":"Odifreddi P (1996) Kreiseliana. About and Around Georg Kreisel. A.K. Peters, Wellesley, Massachusetts"},{"issue":"2","key":"10337_CR52","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1006\/hmat.2002.2345","volume":"29","author":"V Peckhaus","year":"2002","unstructured":"Peckhaus V, Kahle R (2002) Hilbert\u2019s paradox. Hist Math 29(2):157\u2013175","journal-title":"Hist Math"},{"key":"10337_CR53","doi-asserted-by":"publisher","DOI":"10.1525\/9780520341760","volume-title":"The rise of scientific philosophy","author":"H Reichenbach","year":"1951","unstructured":"Reichenbach H (1951) The rise of scientific philosophy. University of California Press"},{"key":"10337_CR54","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. Springer"},{"key":"10337_CR55","unstructured":"Sieg W (2011) Hilbert\u2019s proof theory, David Hilbert and Paul Bernays: Grundlagen der Mathematik\u00a0I\/Foundations of Mathematics\u00a0I, Part A, ix\u2013lxii. College Publications"},{"key":"10337_CR57","doi-asserted-by":"publisher","DOI":"10.1515\/9783112451144","volume-title":"Das Kontinuum. Kritische Untersuchungen \u00fcber die Grundlagen der Analysis","author":"H Weyl","year":"1918","unstructured":"Weyl H (1918) Das Kontinuum. Kritische Untersuchungen \u00fcber die Grundlagen der Analysis. Veit, Leipzig"},{"issue":"9","key":"10337_CR58","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"H Weyl","year":"1944","unstructured":"Weyl H (1944) David Hilbert and his mathematical work. Bull Am Math Soc 50(9):612\u2013654","journal-title":"Bull Am Math Soc"},{"key":"10337_CR56","unstructured":"Weyl H (1987) The Continuum: A Critical Examination of the Foundation of Analysis. Thomas Jefferson University Press. Corrected re-publication, Dover, 1994. English translation of (Weyl, 1918)."},{"key":"10337_CR59","volume-title":"Memoirs of a Proof Theorist","year":"2003","unstructured":"Yasugi M, Passell N (eds) (2003) Memoirs of a Proof Theorist. World Scientific, English translation of a collection of essays written by Gaisi Takeuti"}],"container-title":["Topoi"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11245-025-10337-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11245-025-10337-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11245-025-10337-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T19:10:20Z","timestamp":1771441820000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11245-025-10337-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,18]]},"references-count":58,"alternative-id":["10337"],"URL":"https:\/\/doi.org\/10.1007\/s11245-025-10337-7","relation":{},"ISSN":["0167-7411","1572-8749"],"issn-type":[{"value":"0167-7411","type":"print"},{"value":"1572-8749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,18]]},"assertion":[{"value":"5 February 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author has no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interest"}}]}}