This is a preview of subscription content, log in via an institution to check access.
Literatur
Math. Annalen93, S. 253.
Journ. f. Math.154, S. 6.
Math. Annalen95, S. 467.
loc. cit. 2), Journ. f. Math.154, S. 455.
Vgl. Amsterdamer Proceedings 27, S. 189–193; 644–646.
Genau so wie im allgemeinen wohlgeordnete Spezies mittels der beiden erzeugenden Operationen aus Urspezies (vgl. meinen Aufsatz „Zur Begründung der intuitionistischen Mathematik III”, Math. Annalen 96, S. 451) werden insbesondere mathematische Beweisführungen mittels der beiden erzeugenden Operationen aus Nullelementen und der Intuition unmittelbar gegebenen Elementarschlüssen hergestellt (wobei allerdings die Beschränkung besteht, daß immer ein letzter Elementarschluß auftritt). Diesegedanklichen, im allgemeinen unendlichviele Glieder aufweisenden mathematischen Beweisführungen dürfen mit ihren endlichen, notwendigerweise inadäquaten, mithin nicht zur Mathematik gehörenden sprachlichen Begleitungen nicht verwechselt werden. Die vorstehende Bemerkung enthält mein Hauptargument gegen die Ansprüche der Hilbertschen Metamathematik; ein zweites Argument ist dieses, daß die Erledigung der (übrigens dem Intuitionismus entnommenen) Sicherheitsfrage des Satzes vom ausgeschlossenen Dritten, von Hilbert in einem circulus vitiosus gesucht wird; wenn man nämlich die Richtigkeit dieses Satzes mittles des Beweises seiner Widerspruchsfreiheit begründen will, so wird dabei das Prinzip der Reziprozität der Komplementärspozies, mithin der Staz vom ausgeschlossenen Dritten selbst (vgl. Jahresber. d. D. M.-V.33, S. 252) implizite vorausgesetzt.
Falls die Versicherbarkeit vonF sn 1... n r bei mehreren Beweisführungenk sn 1... n r oder an mehreren Stellen einer und derselben Beweisführungk sn 1... n r festgestellt wird, so sind die entsprechendenT sn 1... n r alle erzeugungsgleich, wie sich mittels der induktiven Methode an der Hand der Entstehung einer von ihnen ergibt. Für den obigen Beweis ist diese Bemerkung übrigens überflüssig.
Wenn wir in analoger Weise eine passende, mit der Spezies derPunktkernpaare des Einheitskontinuums zusammenfallendefinite Menge von Punktepaaren betrachten, so ergibt sich auf Grund von Theorem 2 mühelos dieUnzerlegbarkeit des Kontinuums, d. h. die Eigenschaft, daß bei einer beliebigen Zerlegung des Einheitskontinuums in eine diskrete Spezies von Teilspezies eine dieser Teilspezies mit dem Einheitskontinuum identisch ist.
In den Amsterdamer Proceedings15, S. 1262 wird dieser Begriff in einem Sinne eingeführt, der im allgemeinen Falle von dem hier gebrauchten verschieden ist. Der enge Zusammenhang der beiden Definitionen geht aus Fußnote 12) hervor.
Jahresber. d. D. M.-V.33, S. 255.
Die intuitionistische Theorie des Inhaltes und der Meßbarkeit findet sich kurz skizziert in den Amsterdamer Verhandelingen (1. Sektion)12, Nr. 7, und wird ausführlich dargestellt in einem demnächst in diesen Annalen erscheinenden Aufsatz der Serie “Zur Begründung der intuitionistischen Mathematik”.
Vgl. in diesem Zusammenhang Enseignement Math.13, S. 377.
Jahresber. d. D. M.-V.33, S. 255. Man bemerke die Äquivalenz der Begriffe „Verflechtung” und „Zusammenfallung” im Falle, daß der Satz vom ausgeschlossenen Dritten richtig ist.
Jahresber. d. D. M.-V.33, S. 252.
Vgl. Amsterdamer Verhandelingen (1. Sektion)12, Nr. 7, S. 8,13, sowie die demnächst in diesen Annalen erscheinende ausführlichere Darstellung in einem Aufsatz der Serie „Zur Begründung der intuitionistischen Mathematik”.
Aus der Darstellung des Textes geht übrigens hervor, daß für diesen Inhalt ein beliebiger zwischen 0 und 1 gelegener und sowohl von 0 wie von 1 positiv-verschiedener Wertvvorgeschrieben werden kann.
Vgl. Amsterdamer Verhandelingen (1. Sektion)12, Nr. 7, S. 22, 23, sowie die dennächst in diesen Annalen erscheinende ausführlichere Darstellung in einem Aufsatz der serie „Zur Begründung der intuitionistischen Mathematik”.
Math. Annalen93, S. 246.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brouwer, L.E.J. Über Definitionsbereiche von- Funktionen. Math. Ann. 97, 60–75 (1927). https://doi.org/10.1007/BF01447860
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01447860