Skip to main content
SpringerLink
Log in
Book cover

Grundlagen der Mathematik II

  • Book
  • © 1970

Overview

Authors:
  1. D. Hilbert

    1. Göttingen, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Paul Bernays

    1. Zürich, Schweiz

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Die Methode der Elimination der gebundenen Variablen mittels des Hilbertschen ε-Symbols

    • D. Hilbert, Paul Bernays
    Pages 1-48

  3. Beweistheoretische Untersuchung der Zahlentheorie mittels der an das ε-Symbol sich knüpfenden Methoden

    • D. Hilbert, Paul Bernays
    Pages 48-130

  4. Anwendung des ε-Symbols auf die Untersuchung des logischen Formalismus

    • D. Hilbert, Paul Bernays
    Pages 130-214

  5. Die Methode der Arithmetisierung der Metamathematik in Anwendung auf den Prädikatenkalkul

    • D. Hilbert, Paul Bernays
    Pages 215-263

  6. Der Anlaß zur Erweiterung des methodischen Rahmens der Beweistheorie

    • D. Hilbert, Paul Bernays
    Pages 263-387

  7. Zur Orientierung über den Prädikatenkalkul und anschließende Formalismen

    • D. Hilbert, Paul Bernays
    Pages 388-405

  8. Eine Präzisierung des Begriffs der berechenbaren Funktion und der Satz von Church über das Entscheidungsproblem

    • D. Hilbert, Paul Bernays
    Pages 406-437

  9. Über gewisse Bereiche des Aussagenkalkuls und ihre deduktive Abgrenzung mit Hilfe von Schematen

    • D. Hilbert, Paul Bernays
    Pages 438-466

  10. Formalismen zur deduktiven Entwicklung der Analysis

    • D. Hilbert, Paul Bernays
    Pages 467-512

  11. Widerspruchsfreiheitsbeweise für den zahlentheoretischen Formalismus

    • D. Hilbert, Paul Bernays
    Pages 513-555

  12. Back Matter

    Pages 556-566
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Göttingen, Deutschland

    D. Hilbert

  • Zürich, Schweiz

    Paul Bernays

Bibliographic Information

  • Book Title: Grundlagen der Mathematik II

  • Authors: D. Hilbert, Paul Bernays

  • Series Title: Grundlehren der mathematischen Wissenschaften

  • DOI: https://doi.org/10.1007/978-3-642-86896-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1970

  • Softcover ISBN: 978-3-642-86897-9Published: 17 May 2012

  • eBook ISBN: 978-3-642-86896-2Published: 13 March 2013

  • Series ISSN: 0072-7830

  • Series E-ISSN: 2196-9701

  • Edition Number: 2

  • Number of Pages: XIV, 568

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation