scientific article; zbMATH DE number 3485716

Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Review text

Was heute unter \glqq Intuitionistische Mathematik\grqq{} eingeordnet wird, entspricht schon nicht mehr dem, was Brouwer im Verlaufe eines halben Jahrhunderts schuf. Ein Rückbesinnen auf die Gedanken, die zur intuitionistischen Mathematik führten, kann da schon von Nutzen sein. Die ersten Ursprünge sind philosophisch bis religiös-mystischer Art, wesentliche Fundamente sind in Brouwers Dissertation gelegt, die Evolution aber etwa des zentralen Spreadbegriffes vollzieht sich nur allmählich und geht in Nuancen bis in die 50er Jahre weiter. Der Zugang zum Original wird dadurch erschwert, daß der erste Teil der Arbeit \glqq Begründung der Mengenlehre unabhängig vom logischen Satz des ausgeschlossenen Dritten\grqq{}(1918) später in revidierter Form (\glqq Zur Begründung der intuitionistischen Mathematik\grqq{}, 1925--27) noch einmal erschien, während eine analoge Bearbeitung des zweiten Teils nie erfolgte. Eine Zusammenstellung dieser zeitlich und bibliographisch verstreuten zum Teil schwer erlangbaren Originaltexte liegt hier vor. Brouwers Schriften über Philosophie und Grundlagen der Mathematik (also abgesehen von der einleitenden Mystik zur Begründung und zum Aufbau der intuitionistischen Mathematik sowie zur Signifik) sind nahezu vollständig aufgenommen; die Schriften zur klassischen Mathematik erscheinen im nahezu unabhängigen zweiten Band. Eine Ausnahme bezüglich der veröffentlichten Werke betrifft Brouwers erste Schrift (1905) \glqq Life, art and mysticism\grqq{}, von der nur Auszüge aufgenommen wurden, die für das weitere wesentlich sind. Zusätzlich sind in der Sammlung zum ersten Mal publiziert: 1) \glqq On the extension of the domain of a function\grqq{}, eine intuitionistische Anpassung von \glqq Über die Erweiterung des Definitionsbereichs einer stetigen Funktion\grqq{}, Math. Ann. 79, 209--211 (1918; JFM 46.0399.02) (Werk 1918C in Band 2 der Sammlung) (1938/39), 2) \glqq Discontinuous intuitionistic functions of a real variable\grqq{} (1938), 3) \glqq Syllabus of a posthumous manuscript based on the lectures which Brouwer gave at Cambridge, England, in 1946\grqq{}. (Van Rootselaer beabsichtigt, das vollständige Manuskript separat zu veröffentlichen, es enthält einen zusammenhängenden Bericht über einige Teile der intuitionistischen Mathematik und hat seine endgültige Form wohl nicht vor 1954 erhalten.) Bei den übrigen Arbeiten, im Original zum großen Teil zweimal in verschiedenen Sprachen veröffentlicht, ist jeweils eine nichtniederländische Version fotomechanisch wiedergegeben, falls existent, sonst wurde eine englische Übersetzung angefertigt, Die Anmerkungen des Herausgebers beziehen sich auf parallele Stellen, Widersprüche, irrige oder mit Formulierungen, auf handschriftliche Bemerkungen auf Brouwers Autorenexemplaren. Ein Literaturverzeichnis fungiert zugleich als Inhaltsverzeichnis, ein zweites am Schluß führt Arbeiten anderer Autoren auf, die sich auf Brouwers Werk beziehen. Es bleibt noch zu erwähnen, daß das Buch auch vom Äußeren her einen sehr repräsentativen Eindruck macht.

Recommendations

Cited in

(79)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4068683)