Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formel sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In ...
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen ...
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 ...
In diesem Buch, erstmals 1924 bzw. 1937 erschienen, spürt man noch wie am ersten Tag die Frische und Inspiration zweier großer Mathematiker und Lehrer. Hilbert kann man mit Fug und Recht als den letzten Mathematiker bezeichnen, der in allen Gebieten seiner Wissenschaft zu Hause ...
In diesem Buch, erstmals 1924 bzw. 1937 erschienen, spürt man noch wie am ersten Tag die Frische und Inspiration zweier großer Mathematiker und Lehrer. Hilbert kann man mit Fug und Recht als den letzten Mathematiker bezeichnen, der in allen Gebieten seiner Wissenschaft zu Hause ...
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 ...
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 ...
Anschauliche Geometrie
- wohl selten ist ein Mathematikbuch seinem Titel so gerecht geworden wie dieses außergewöhnliche Werk von Hilbert und Cohn-Vossen. Zuerst 1932 erschienen, hat ...