Grundlehren Der Mathematischen Wissenschaften (Springer Hardcover)
4 primary works
Book 27
Grundzuge Der Theoretischen Logik
by David Hilbert and Wilhelm Ackermann
Published 25 September 1972
Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel- sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel- sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B.
Book 27
Book 40
Die Leitgedanken meiner Untersuchungen uber die Grundlagen der Mathematik, die ich - anknupfend an fruhere Ansatze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefasste und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung fur die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere ublichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel moechte ich hervorheben, dass die zeit- weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GOEDEL folge die Undurchfuhrbarkeit meiner Beweistheorie, als irrtum- lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, dass man fur die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand- punkt in einer scharferen Weise ausnutzen muss, als dieses bei der Be- trachtung der elementaren Formallsmen erforderlich ist. Goettingen, im Marz 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro- bleme erwachsen ist, wurde schon seit langerem von HILBERT ange- kundigt.
Book 50
Der vorliegende Band schliesst 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 uber- nommen. Ich danke ihm fur die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs starkste beteiligt war. Ohne seine Mithilfe ware die Vollendung dieses Buches unmoeglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich fur ihre freundliche Mitwirkung bei den Korrekturen. Goettingen, im Marz 1939 HILBERT Zur Einfuhrung Das vorliegende Buch soll einer eingehenden Orientierung uber den gegenwartigen 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 pragnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Fur die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsachlichen, an das e-Symbol sich knupfenden beweistheoretischen Ansatze HILBERTS und ihre Durchfuhrung zur ein- gehenden Darstellung zu bringen.