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...
Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat ...
These additions have been incorporated in the following translation. As a basis for the analysis of our intuition of space, Professor Hilbert commences his discussion by considering three systems of things which he calls points, straight lines, and planes, and sets up a system of axioms connecting these elements in their mutual relations. The purpose of his investigations is to discuss systematically the relations of these axioms to one another and also the bearing of each upon the logical development of euclidean geometry. Among the important results obtained, the following are worthy of...
These additions have been incorporated in the following translation. As a basis for the analysis of our intuition of space, Professor Hilbert commence...
