{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T03:07:50Z","timestamp":1772852870311,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T00:00:00Z","timestamp":1516233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/MAT\/00297\/2013"],"award-info":[{"award-number":["UID\/MAT\/00297\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"crossref","award":["PTDC\/MHC-FIL\/2583\/2014"],"award-info":[{"award-number":["PTDC\/MHC-FIL\/2583\/2014"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/FIL-FCI\/10991\/2009"],"award-info":[{"award-number":["PTDC\/FIL-FCI\/10991\/2009"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11225-017-9776-2","type":"journal-article","created":{"date-parts":[[2018,1,18]],"date-time":"2018-01-18T20:40:55Z","timestamp":1516308055000},"page":"145-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Is There a \u201cHilbert Thesis\u201d?"],"prefix":"10.1007","volume":"107","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":[[2018,1,18]]},"reference":[{"key":"9776_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01449946","volume":"93","author":"W Ackermann","year":"1925","unstructured":"Ackermann, W., Begr\u00fcndung des \u201ctertium non datur\u201d mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen 93:1\u201336, 1925.","journal-title":"Mathematische Annalen"},{"key":"9776_CR2","doi-asserted-by":"crossref","unstructured":"Azzouni, J., The derivation-indicator view of mathematical practice, Philosophia Mathematica 12(3):81\u2013105, 2004.","DOI":"10.1093\/philmat\/12.2.81"},{"key":"9776_CR3","doi-asserted-by":"crossref","unstructured":"Barwise, J., An introduction to first-order logic, in J. Barwise, (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 5\u201346.","DOI":"10.1016\/S0049-237X(08)71097-8"},{"key":"9776_CR4","doi-asserted-by":"crossref","unstructured":"Beklemishev, L., and A. Visser, Problems in the logic of provability, in D. Gabbay, S. Goncharov, and M. Zakharyaschev, (eds.), Mathematical Problems from Applied Logic I: Logics for the XXIst Century, vol. 4 of International Mathematical Series, Springer, Berlin, 2005, pp. 77\u2013136.","DOI":"10.1007\/0-387-31072-X_2"},{"key":"9776_CR5","unstructured":"Berk, L.A., Hilbert\u2019s Thesis: Some Considerations about Formalizations of Mathematics, Ph.D. thesis, MIT, 1982. http:\/\/hdl.handle.net\/1721.1\/15650 ."},{"key":"9776_CR6","unstructured":"Bernays, P., Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt, 1976."},{"key":"9776_CR7","doi-asserted-by":"crossref","unstructured":"Boolos, G.S., J.P. Burgess, and R.C. Jeffrey, Computability and Logic, 4th edn., Cambridge University Press, Cambridge, 2003.","DOI":"10.1017\/CBO9781139164931"},{"key":"9776_CR8","unstructured":"Boolos, G.S., and R.C. Jeffrey, Computability and Logic, 3rd edn., Cambridge University Press, Cambridge, 1989."},{"key":"9776_CR9","unstructured":"Davis, M., and W. Sieg, Conceptual confluence in 1936: Post and Turing, in G. Sommaruga, and T. Strahm, (eds.), Turing\u2019s Revolution: The Impact of His Ideas about Computability, Springer, Berlin, 2015, pp. 3\u201327."},{"key":"9776_CR10","unstructured":"Ebbinghaus, H.-D., Ernst Zermelo, Springer, Berlin, 2007."},{"key":"9776_CR11","doi-asserted-by":"crossref","unstructured":"Feferman, S., H.M. Friedman, P. Maddy, and J.R. Steel, Does mathematics need new axioms?, Bulletin of Symbolic Logic 6(4):401\u2013446, 2000.","DOI":"10.2307\/420965"},{"key":"9776_CR12","doi-asserted-by":"crossref","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen I, II, Mathematische Zeitschrift 39:176\u2013210, 405\u2013431, 1935.","DOI":"10.1007\/BF01201363"},{"key":"9776_CR13","doi-asserted-by":"crossref","unstructured":"Gentzen, G., The consistency of elementary number theory, in M.E. Szabo, (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969, pp. 132\u2013201. English translation of Die Widerspruchsfreiheit der reinen Zahlentheorie originially published in 1939.","DOI":"10.1016\/S0049-237X(08)70823-1"},{"key":"9776_CR14","unstructured":"G\u00f6del, K., On undecidable propositions of formal mathematical systems, in M. Davis, (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Raven Press, 1965, pp. 41\u201373."},{"key":"9776_CR15","unstructured":"G\u00f6del, K., Vortrag \u00fcber Vollst\u00e4ndigkeit des Funktionenkalk\u00fcls, in S. Feferman, et al., (eds.), Collected Works, vol. III of Unpublished Essays and Lectures, Oxford University Press, 1995, pp. 16\u201329. Lecture delivered on 6 September 1930 at the Conference on Epistemology of the Exact Sciences in K\u00f6nigsberg; German original and English translation."},{"key":"9776_CR16","unstructured":"Hales, T.C., Developments in formal proof, S\u00e9minaire Bourbaki, (2014), 1086, 66\u00e8me ann\u00e9e, 2013\u20132014."},{"key":"9776_CR17","unstructured":"Hilbert, D., 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, 1900, pp. 253\u2013297."},{"key":"9776_CR18","unstructured":"Hilbert, D., \u00dcber den Zahlbegriff, Jahresbericht der Deutschen Mathematiker-Vereinigung 8:180\u2013184, 1900."},{"key":"9776_CR19","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Axiomatisches Denken, Mathematische Annalen 78(3\/4):405\u2013415, 1918. (Lecture delivered on 11 September 1917 at the Swiss Mathematical Society in Zurich).","DOI":"10.1007\/BF01457115"},{"key":"9776_CR20","doi-asserted-by":"crossref","unstructured":"Hilbert, D., \u00dcber das Unendliche, Mathematische Annalen 95:161\u2013190, 1926.","DOI":"10.1007\/BF01206605"},{"key":"9776_CR21","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universit\u00e4t 6(1\/2):65\u201385, 1928.","DOI":"10.1007\/BF02940602"},{"key":"9776_CR22","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Die Grundlegung der elementaren Zahlenlehre, Mathematische Annalen 104:485\u2013494, 1931. (Lecture delivered in December 1930 in Hamburg).","DOI":"10.1007\/BF01457953"},{"key":"9776_CR23","unstructured":"Hilbert, D., The foundations of mathematics, in J. van Heijenoort, (ed.), From Frege to G\u00f6del, Harvard University Press, 1967, pp. 464\u2013479. English translation of [21]."},{"key":"9776_CR24","unstructured":"Hilbert, D., On the infinite, in Jean van Heijenoort, (ed.), From Frege to G\u00f6del, Harvard University Press, 1967, pp. 367\u2013392. English translation of [20]."},{"key":"9776_CR25","unstructured":"Hilbert, D., and W. Ackermann, Grundz\u00fcge der theoretischen Logik, vol. XXVII of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Springer, Berlin, 1928."},{"key":"9776_CR26","doi-asserted-by":"crossref","unstructured":"Hilbert, D., and W. Ackermann, Grundz\u00fcge der theoretischen Logik, vol. XXVII of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 2nd edn., Springer, Berlin, 1938.","DOI":"10.1007\/978-3-662-41928-1"},{"key":"9776_CR27","unstructured":"J\u00e4ger, G., Inductive definitions and non-wellfounded proofs, Talk given in T\u00fcbingen in honor of Peter Schroeder-Heister\u2019s 60th birthday, 2013."},{"key":"9776_CR28","doi-asserted-by":"crossref","unstructured":"Kahle, R., Von Dedekind zu Zermelo versus Peano zu G\u00f6del, Mathematische Semesterberichte 64(2):159\u2013167, 2017.","DOI":"10.1007\/s00591-017-0193-4"},{"key":"9776_CR29","unstructured":"Kleene, S.C., Introduction to Metamathematics, North Holland, Amsterdam, 1952."},{"key":"9776_CR30","doi-asserted-by":"crossref","unstructured":"Kleene, S.C., Origins of recursive function theory, Annals of the History of Computing 3(1):52\u201367, 1981.","DOI":"10.1109\/MAHC.1981.10004"},{"key":"9776_CR31","unstructured":"Kleene, S.C., G\u00f6del\u2019s impression on students of logic in the 1930s, in P. Weingartner, and L. Schmetterer, (eds.), G\u00f6del Remembered, vol. IV of History of Logic, Bibliopolis, Berkeley, 1987, pp. 49\u201364."},{"key":"9776_CR32","doi-asserted-by":"crossref","unstructured":"Kreisel, G., Informal rigour and completeness proofs, in I. Lakatos, (ed.), Problems in the Philosophy of Mathematics, vol. 47 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1967, pp. 138\u2013186.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"9776_CR33","doi-asserted-by":"crossref","unstructured":"Kripke, S.A., The Church-Turing \u201cThesis\u201d as a special corollary of G\u00f6del\u2019s completeness theorem, in B.J. Copeland, C.J. Posy, and O. Shagrir, (eds.), Computability, MIT Press, Cambridge, 2013, pp. 77\u2013104.","DOI":"10.7551\/mitpress\/8009.003.0005"},{"key":"9776_CR34","doi-asserted-by":"crossref","unstructured":"Marfori, M.A., Informal proofs and mathematical rigour, Studia Logica 96:261\u2013272, 2010.","DOI":"10.1007\/s11225-010-9280-4"},{"key":"9776_CR35","unstructured":"Moschovakis, Y., Notes on Set Theory, 2nd edn., Undergraduate Texts in Mathematics, Springer, Berlin, 2006."},{"key":"9776_CR36","doi-asserted-by":"crossref","unstructured":"Naibo, A., M. Petrolo, and T. Seiller, On the computational meaning of axioms, in J. Redmond, O.P. Martins, and \u00c1.N. Fern\u00e1ndez, (eds.), Epistemology, Knowledge and the Impact of Interaction, Springer, Berlin, 2016, pp. 141\u2013184.","DOI":"10.1007\/978-3-319-26506-3_5"},{"key":"9776_CR37","doi-asserted-by":"crossref","unstructured":"Naibo, A., M. Petrolo, and T. Seiller, Verificationism and classical realizability, in C. Ba\u015fkent, (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions, Springer, Berlin, 2016, pp. 163\u2013197.","DOI":"10.1007\/978-3-319-20762-9_9"},{"key":"9776_CR38","unstructured":"Odifreddi, P., Classical Recursion Theory, vol. 125 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1989."},{"key":"9776_CR39","doi-asserted-by":"crossref","unstructured":"Parsons, C., Finitism and intuitive knowledge, in M. Schirn, (ed.), The Philosophy of Mathematics Today, Oxford University Press, Oxford, 1998, pp. 249\u2013270.","DOI":"10.1093\/oso\/9780198236542.003.0011"},{"key":"9776_CR40","doi-asserted-by":"crossref","unstructured":"Post, E.L., Finite combinatory processes\u2014formulation 1, Journal of Symbolic Logic 1(3):103\u2013105, 1936.","DOI":"10.2307\/2269031"},{"key":"9776_CR41","unstructured":"Prawitz, D., Natural Deduction, A Proof-Theoretical Study, Almquist and Wiksell, 1965."},{"key":"9776_CR42","doi-asserted-by":"crossref","unstructured":"Shapiro, S., The open texture of computability, in B.J. Copeland, C.J. Posy, and O. Shagrir, (eds.), Computability, MIT Press, Cambridge, 2013, pp. 153\u2013181.","DOI":"10.7551\/mitpress\/8009.003.0008"},{"key":"9776_CR43","unstructured":"Shoenfield, J.R., Mathematical Logic, Addison-Wesley, 1967. Reprinted by ASL, AK Peters, 2000."},{"key":"9776_CR44","unstructured":"Sieg, W., In the shadow of incompletenss, in Hilbert\u2019s Programs and Beyond, Oxford University Press, Oxford, 2013, pp. 155\u2013192. First published in another collection in 2011."},{"key":"9776_CR45","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M., Fixed points and self-reference, International Journal of Mathematics and Mathematical Sciences 7(2):283\u2013289, 1984.","DOI":"10.1155\/S0161171284000296"},{"key":"9776_CR46","doi-asserted-by":"crossref","unstructured":"Soare, R.I., Interactive computing and relativized computability, in B.J. Copeland, C.J. Posy, and O. Shagrir, (eds.), Computability, MIT Press, Cambridge, 2013, pp. 203\u2013260.","DOI":"10.7551\/mitpress\/8009.003.0010"},{"key":"9776_CR47","doi-asserted-by":"crossref","unstructured":"Streett, R.S., and E.A. Emerson, An automata theoretic decision procedure for the propositional mu-calculus, Information and Computation 81:249\u2013264, 1989.","DOI":"10.1016\/0890-5401(89)90031-X"},{"key":"9776_CR48","doi-asserted-by":"crossref","unstructured":"Tapp, C., An den Grenzen des Unendlichen, Mathematik im Kontext, Springer, Berlin, 2013.","DOI":"10.1007\/978-3-642-29654-3"},{"key":"9776_CR49","doi-asserted-by":"crossref","unstructured":"Weir, A., Informal proof, formal proof, formalism, The Review of Symbolic Logic 9(1):23\u201343, 2016.","DOI":"10.1017\/S1755020315000234"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9776-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9776-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9776-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T16:09:22Z","timestamp":1719763762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9776-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,18]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9776"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9776-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,18]]},"assertion":[{"value":"18 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}