Grundlagen der Mathematik II:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hilbert, David 1862-1943 (VerfasserIn)
Format: Elektronisch E-Book
Sprache:German
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 1970
Ausgabe:Zweite Auflage
Schriftenreihe:Die Grundlehren der mathematischen Wissenschaften, in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete 50
Schlagworte:
Online-Zugang:Volltext
Beschreibung: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
Beschreibung:1 Online-Ressource (XIV, 568 S.)
ISBN:9783642868962
9783642868979
ISSN:0072-7830
DOI:10.1007/978-3-642-86896-2

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen