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.
Erscheinungsdatum: 17.05.2012

lgrsnf/A:\compressed\10.1007%2F978-3-642-86896-2.pdf

nexusstc/Grundlagen der Mathematik II/144c85dd110a3802e4475dd211029a05.pdf

scihub/10.1007/978-3-642-86896-2.pdf

zlib/Mathematics/D. Hilbert, Prof. Dr. Paul Bernays (auth.)/Grundlagen der Mathematik II_2126756.pdf

Grundlagen der Mathematik. 2

David Hilbert - undifferentiated

Hilbert, David, Bernays, Paul

David Hilbert; Paul Bernays

DAVID;BERNAYS, PAUL HILBERT

Spektrum Akademischer Verlag. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer London, Limited

Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Zweite Auflage, Berlin, Heidelberg, 1970

Grundlehren der Mathematischen Wissenschaften, Zweite Auflage, Berlin, po 2006

Softcover reprint of the original 2nd ed. 1970, PT, 2012

Springer Nature, Berlin, Heidelberg, 2013

Germany, Germany

May 17, 2012

sm42091394

{"edition":"2","isbns":["3642868967","3642868975","9783642868962","9783642868979"],"last_page":568,"publisher":"Springer","series":"Die Grundlehren der mathematischen Wissenschaften 50"}

Source title: Grundlagen der Mathematik II (Grundlehren der Mathematischen Wissenschaften) (German Edition)

Front Matter....Pages I-XIV
Die Methode der Elimination der gebundenen Variablen mittels des Hilbertschen ε -Symbols....Pages 1-48
Beweistheoretische Untersuchung der Zahlentheorie mittels der an das ε -Symbol sich knüpfenden Methoden....Pages 48-130
Anwendung des ε -Symbols auf die Untersuchung des logischen Formalismus....Pages 130-214
Die Methode der Arithmetisierung der Metamathematik in Anwendung auf den Prädikatenkalkul....Pages 215-263
Der Anlaß zur Erweiterung des methodischen Rahmens der Beweistheorie....Pages 263-387
Zur Orientierung über den Prädikatenkalkul und anschließende Formalismen....Pages 388-405
Eine Präzisierung des Begriffs der berechenbaren Funktion und der Satz von Church über das Entscheidungsproblem....Pages 406-437
Über gewisse Bereiche des Aussagenkalkuls und ihre deduktive Abgrenzung mit Hilfe von Schematen....Pages 438-466
Formalismen zur deduktiven Entwicklung der Analysis....Pages 467-512
Widerspruchsfreiheitsbeweise für den zahlentheoretischen Formalismus....Pages 513-555
Back Matter....Pages 556-566

Der vorliegende Band schliesst die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P.

2013-08-01