Paul Bernays

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - 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 abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit­ weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm­ lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand­ punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be­ trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 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 längerem von HILBERT ange­ kündigt.

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.

Les articles de ce recueil discutent les principes de la pensee mathematique qui ont fait le partage entre les trois fameuses options philosophiques: logicisme, formalisme et intuitionnisme. Leur auteur, Paul Bernays, fut un des plus proches collaborateurs de David Hilbert, qui a si profondement marque de son empreinte les mathematiques du XXe siecle et la philosophie construite a leur sujet. Defenseur de l'infini, de la methode axiomatique, des structures generales, des raisonnements abstraits, de la formalisation logique, Hilbert a investi une grande energie pour ancrer ces audacieuses conquetes sur le terrain balise et controlable du fini, de l'intuitif, du concret, du constructible. Les essais de Bernays sont un precieux guide pour mieux s'orienter dans la pensee logique et philosophique de Hilbert et se debarasser une bonne fois des prejuges hatifs qui jalonnent les opinions ressassees sur le formalisme , le finitisme , le platonisme , etc. Mais ces essais nous decouvrent aussi un penseur libre, parlant de sa propre voix. Sensible a la pluralite des approches possibles, assumant le risque de se rectifier sans cesse, mesure dans sa visee d'une certitude pratique plutot que d'une verite absolue, Bernays defend l'idees que les mathematiques ne sont pas un reservoir de connaissance, mais une activite de l'esprit reagissant a des situations.