{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:50:26Z","timestamp":1743133826939,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030494230"},{"type":"electronic","value":"9783030494247"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-49424-7_1","type":"book-chapter","created":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T10:03:03Z","timestamp":1597053783000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["\u201cSehr geehrter Herr Professor!\u201d Proof Theory in 1949 in a Letter from Sch\u00fctte to Bernays"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"key":"1_CR1","unstructured":"Wilhelm Ackermann. Letter to David Hilbert, August 23rd, 1933, Nieders\u00e4chsische Staatsund Universit\u00e4tsbibliothek G\u00f6ttingen, Cod. Ms. D. Hilbert 1."},{"key":"1_CR2","unstructured":"Oskar Becker. Mathematische Existenz. M. Niemeyer, 1927."},{"key":"1_CR3","unstructured":"Wilfried Buchholz. Sch\u00fctte, Kurt Wilhelm. In Neue Deutsche Biographie (NDB), volume 23, pages 653\u2013654. Duncker & Humblot, Berlin, 2007."},{"key":"1_CR4","unstructured":"Thierry Coquand and Stefan Neuwirth. An introduction to Lorenzen\u2019s \u201cAlgebraic and logistic investigations on free lattices\u201d (1951). arXiv: 1711.06139v1 [math.LO], 2017."},{"key":"1_CR5","unstructured":"Solomon Feferman. Introductory note to [G\u00f6del 1931c]. In S. Feferman et al., editors, Kurt G\u00f6del: Collected works, I: Publications 1929\u20131936, pages 208\u2013213. Oxford University Press, 1986."},{"key":"1_CR6","unstructured":"Gerhard Gentzen. Collected Works. North-Holland, 1969. Edited by M. E. Szabo."},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"David Hilbert","year":"1926","unstructured":"David Hilbert. \u00dcber das Unendliche. Mathematische Annalen, 95:161\u2013190, 1926.","journal-title":"Mathematische Annalen"},{"key":"1_CR8","unstructured":"David Hilbert. Beweis des Tertium non datur. Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse, pages 120\u2013125, 1931. Talk given on July 17, 1931 in G\u00f6ttingen."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"David Hilbert. Die Grundlegung der elementaren Zahlenlehre. Mathematische Annalen, 104(1):485\u2013494, 1931. Talk given in December 1930 in Hamburg.","DOI":"10.1007\/BF01457953"},{"key":"1_CR10","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 [7]."},{"key":"1_CR11","unstructured":"David Hilbert and Paul Bernays. Grundlagen der Mathematik I. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 40. Springer, 1934. 2nd edition 1968."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"David Hilbert and Paul Bernays. Grundlagen der Mathematik II. Die Grundlehren der mathematischenWissenschaften in Einzeldarstellungen, 50. Springer, 1939. 2nd edition 1970.","DOI":"10.1007\/978-3-642-86896-2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Reinhard Kahle. Gentzen\u2019s theorem in context. In Reinhard Kahle and Michael Rathjen, editors, Gentzen\u2019s Centenary: The quest for consistency, pages 3\u201324. Springer, 2015.","DOI":"10.1093\/philmat\/nkv043"},{"key":"1_CR14","unstructured":"Reinhard Kahle and Isabel Oitavem. Lorenzen between Gentzen and Sch\u00fctte. In Gerhard Heinzmann and Gereon Wolters, editors, Paul Lorenzen\u2014Mathematician and Logician. Springer. To appear."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Paul Lorenzen. Algebraische und logistische Untersuchungen \u00fcber freie Verb\u00e4nde. Journal of Symbolic Logic, 16(81\u2013106), 1951.","DOI":"10.2307\/2266681"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1007\/BF01449155","volume":"109","author":"Kurt Sch\u00fctte","year":"1934","unstructured":"Kurt Sch\u00fctte. Untersuchungen zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, 109:572\u2013603, 1934.","journal-title":"Mathematische Annalen"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF01342950","volume":"122","author":"Kurt Sch\u00fctte","year":"1950","unstructured":"Kurt Sch\u00fctte. Schlu\u00dfweisen-Kalk\u00fcle der Pr\u00e4dikatenlogik. Mathematische Annalen, 122:47\u201365, 1950.","journal-title":"Mathematische Annalen"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF01342849","volume":"122","author":"Kurt Sch\u00fctte","year":"1951","unstructured":"Kurt Sch\u00fctte. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Mathematische Annalen, 122:369\u2013389, 1951.","journal-title":"Mathematische Annalen"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01343554","volume":"124","author":"Kurt Sch\u00fctte","year":"1952","unstructured":"Kurt Sch\u00fctte. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, 124:123\u2013147, 1952.","journal-title":"Mathematische Annalen"},{"key":"1_CR20","unstructured":"Kurt Sch\u00fctte. Letter to Paul Lorenzen, G\u00f6ttingen, May 1st, 1950. Lorenzen-Nachlass, Philosophisches Archiv der Universit\u00e4t Konstanz, PL 1-1-45."},{"key":"1_CR21","unstructured":"Kurt Sch\u00fctte. Beweistheorie, volume 103 of Grundlehren der MathematischenWissenschaften. Springer, 1960."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Kurt Sch\u00fctte. Proof theory, volume 225 of Grundlehren der Mathematischen Wissenschaften. Springer, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"1_CR23","unstructured":"Kurt Sch\u00fctte. Bemerkungen zur Hilbertschen Beweistheorie. Acta Borussica, 5:241\u2013244, 1995. Reprinted and translated into English in Chapter 8 of this volume."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Kurt Sch\u00fctte and Helmut Schwichtenberg. Mathematische Logik. In Winfried Scharlau, editor, Ein Jahrhundert Mathematik 1890\u20131990, volume 6 of Dokumente zur Geschichte der Mathematik, pages 717\u2013740. Vieweg, 1990. Reprinted in Chapter 7 of this volume.","DOI":"10.1007\/978-3-322-80265-1_17"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01708855","volume":"40","author":"Alfred Tarski","year":"1933","unstructured":"Alfred Tarski. Einige Betrachtungen \u00fcber die Begriffe der !-Widerspruchsfreiheit und der !-Vollst\u00e4ndigkeit. Monatshefte f\u00fcr Mathematik und Physik, 40:97\u2013112, 1933.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Jan von Plato. Saved from the Cellar. Sources and Studies in the History of Mathematics and Physical Sciences. Springer, 2017.","DOI":"10.1007\/978-3-319-42120-9"},{"key":"1_CR27","unstructured":"MatthiasWille. Zwischen Algebra und Erlanger Schule. Paul Lorenzens Beitr\u00e4ge zur Beweistheorie. In Ralf Kr\u00f6mer and Gregor Nickel, editors, Siegener Beitr\u00e4ge zur Geschichte und Philosophie der Mathematik, volume 1, pages 79\u2013108. universi, 2013."},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Mariko Yasugi and Nicholas Passell, editors. Memoirs of a Proof Theorist. World Scientific, 2003. English translation of a collection of essays written by Gaisi Takeuti.","DOI":"10.1142\/5202"}],"container-title":["The Legacy of Kurt Sch\u00fctte"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-49424-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T10:37:20Z","timestamp":1667731040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-49424-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030494230","9783030494247"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-49424-7_1","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}