Advertisement

Grundlagen der Mathematik II

  • D. Hilbert
  • Paul Bernays

Part of the Die Grundlehren der mathematischen Wissenschaften book series (GL, volume 50)

About this book

Introduction

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über­ nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn­ gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein­ gehenden Darstellung zu bringen.

Keywords

Ableitung Analysis Beweis Beweistheorie Cantor Endlichkeit Funktion Geometrie Lehrsatz Mathematik Symbol Variable Wirkung Zahlentheorie Zweck

Authors and affiliations

  • D. Hilbert
    • 1
  • Paul Bernays
    • 2
  1. 1.GöttingenDeutschland
  2. 2.ZürichSchweiz

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-86896-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-86897-9
  • Online ISBN 978-3-642-86896-2
  • Series Print ISSN 0072-7830
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences