Die Philosophie der Mathematik in der Gegenwart, Issue 13

ableitbare Formel Auffassung Ausgangsformeln Aussagefunktion Axiome Axiome der Mathematik Axiomensystem Begründung Behauptung Beschaffenheiten betreffenden bloßen Logik Brouwer Charakter Charakterisierung Definitionen durch Abstraktion derartige Disziplin Eigenschaften einschlägigen Element Empirismus Entscheidungsproblem entsprechend ersten Fassung Formalismus formalistische Funktion Funktionenkalkül Gebilde Gegenstand der Mathematik Geometrie Gestalt gibt Grund Grundknüpfungen heißt Hilbert Hilfe hinsichtlich idealen Objektes Intuitionismus Intuitionisten Kalkül Kalkülisierung kalkülmäßige Kantischen Kapitel Klasse Klassenzeichen klassischen Mathematik Konjunktion Konstruktionen Konventionalismus L. E. J. Brouwer läßt Lehrsatz lich Logik-Mathematikkalküls Logikkalküls Logizismus Mathe Mathematikkalkül mathematischen Beweise mathematischen Definitionen mathematischen Existenz matik Menge Metamathematik muß nachstehenden natürliche Zahl Negation Operationsvorschriften Paradoxien Philosophie der Mathematik Problemkreis Rahmen reeller Zahlen rein logische reine Anschauung reine Mathematik reinen Logik restlos Sachverhalt Satz schen schließlich Schluß Sinne Substitutionsregel symmetrische Relation System Systems transfiniten typenmäßig passende üblichen unendlich unserer Urteile a priori Variablen vollständigen Induktion Voraussetzungen WALTER DUBISLAV Weise Wert Werttafel Widerspruchsfreiheit Wissenschaft Zeichen zeigen zunächst zwei