In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...) sich. Doch ist die bisweUen noch geauBerte Behauptung, der Zweck -der Grundlagenforschung liege in der Beseitigung der Widersprtiche, verfehlt. In philosophischer und in mathematischer Richtung geht diese weit tiber eine solche Zielsetzung hinaus. Philosophisch untersucht man -das Wesen der mathematischen Erkenntnis, ihre Voraussetzungen und Endziele, ihr Verhaltnis zu anderen Wissensgebieten, insbesondere der Physik, und ihre Abgrenzung gegen diese dem lnhalt und der Methode nacho An diese philosophischen Erorterungen schlieBen sich umfangreiche mathematische Untersuchungen tiber den Aufbau der Mathematik aus den philosophisch gegebenen Voraussetzungen und tiber die Struktur der mathematischen Beweisftihrungen. Einzelne Teilgebiete dieser Unter­ suchungen entwickeln sich schon zu selbstandigen Disziplinen, die sich in ihren Methoden und Problemstellungen von der eigentlichen Grund­ lagenforschung unabhangig machen; ein Beispiel eines solchen neuen Zweiges der Mathematik, der sein Entstehen der Grundlagenforschung verdankt, ist die mathematischp. Logik. Allmahlich haben sich drei J. auptrichtungen gebildet, die je einer eigenen Auffassung tiber das Wesen der Mathematik entsprechen undo je zu verschieden gearteten mathematischen Untersuchungen geftihrt haben. (shrink)

Brouwer's criticism of mathematical proofs making essential use of the tertium non datur had a surprisingly late response in logical circles. Among the diverse reactions in the mid 1920s and early 1930s, it is possible to delimit a coherent body of opinions on these questions: (1) whether Brouwer's denial of the tertium non datur meant only the abandonment of this classical law or, beyond that, the affirmation of its negation; (2) whether one or both of these alternatives were logically inconsistent; (...) and (3) whether Brouwer's line of argument was forced to take resort to the very law it was designed to refute. The controversy centred around a series of articles by Marcel Barzin and Alfred Errera who fought against the intuitionistic critique, missed their victory because of conceptual confusions and fallacious reasoning, but emerged unconvinced from the debate in the late 1930s. The controversy is of interest to the historiography of formal logic since it stimulated the clarification not only of the concepts of formal validity, decidability, many-valued systems of logic and non-classical systems generally, but also of the distinction between object and meta-level, and between a formal system and its semantics. Most important, the debate, by putting pressure on the intuitionistic camp to make their ideas more precise, seems to have given the decisive motivation towards Heyting's answer to this demand by his axiomatization of intuitionistic logic in 1930. (shrink)

ZusammenfassungDie Arbeit enthält Bemerkungen über den Intuitionismus and über seine Beziehungen zu anderen Gebieten der Grundlagenforschung. Innerhalb der intuitionistischen Mathematik werden, im Anschluss an die Kritik von Griss gegen den Gebrauch der Negation, Evidenzstufen unterschieden, abhängend von der Art, in der bedingte Konstruktionen zugelassen werden. Auch werden gewisse Schwierigkeiten in der Theorie der endlichen Spezies diskutiert. Was die Grundlagenforschung im Aligemeinen betrifft, wird bemerkt, dass sie die klassische Mathematik weitgehend in ihre intuitiven, formalen and platonischen Bestandteile zerlegt hat. Es wird (...) näher eingegangen auf die These von Church in der Theorie der rekursiven Funktionen.RésuméL'article contient des remarques sur l'intuitionisme et sur ses rapports avec les autres directions dans la recherche des fondements. Dans la mathématique intuitioniste, et en connexion avec la critique de Griss contre l'usage de la négation, on distingue des degrés d'évidence, dépendant de l'espèce de constructions conditionnées qui est admise. En outre, on discute certaines difficultés dans la théorie des espèces finies. Concernant la recherche des fondements en général, on remarque que les mathématiques classiques ont été scindées en leurs éléments intuitifs, formels et platonistes. Quelques remarques sur la thèse de Church dans la théorie des fonctions récursives terminent l'article.The paper contains remarks on intuitionism and its relations with other domains of foundational research. Inside the intuitionistic mathematics, in connection with Griss' criticism against the use of negation, different degrees of evidence are distinguished, depending upon the way in which conditioned constructions are admitted. Some difficulties in the theory of finite species are discussed. Concerning the foundational research in general it is observed that it has separated intuitive, formal and platonistic constituents in classical mathematics. Some remarks are made on Church's thesis in the theory of recursive functions. (shrink)

Dutch Mathematician Luitzen Egbertus Jan Brouwer (1881-1966) was a rebel. His doctoral thesis... was the manifesto of an angry young man taking on the mathematical establishment on all fronts. In a short time he established a world-wide reputation for himself; his genius and originality were acknowledged by the great mathematicians of his time... The Intuitionist-Formalist debate became a personal feud between the mathematical giants Brouwer and Hilbert, and ended in 1928 with the expulsion of Brouwer from the editorial board of (...) the Mathematische Annalen by dictat of Hilbert. Forsaken, humiliated and disillusioned Brouwer abandoned his Intuitionist Programme and withdrew into silence just about the time when the Formalist Programme appeared to be fundamentally flawed and major opposition collapsed... This book attempts to follow the `genetic' development of Brouwer's ideas, linking the man Brouwer, his Weltanschauung, his philosophy of mathematics and his reconstruction of mathematics. Brouwer's own writings, his publications as well as his unpublished papers, are its immediate and main source of reference. It is the second volume in the new series Studies in the History and Philosophy of Mathematics, and is written for the specialist as well as for the general reader interested in mathematics and the interpretation of its status and function. (shrink)