Individual choice sequences in the work of L. E. J. Brouwer
Niekus, Joop
Philosophia Scientiae, Tome 9 (2005), p. 217-232 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)

Par des suites de choix nous comprenons des suites qui ne sont pas déterminées complètement par une loi arithmétique. Elles sont des objets caractéristiques à l'intuitionnisme de Brouwer. Nous prétendons qu'à partir de 1927 Brouwer utilise des suites de choix particulières ce qui n'a pas être connu comme tel. Nous prétendons que l'utilisation de ces suites dans la méthode du sujet créatif, après la seconde guerre mondiale, n'a pas mis en relation avec cette utilisation dans les années vingt et qu'elles sont mal interprétées. Nous montrons où se trouvent ces suites de choix dans l'œuvre de Brouwer et comment elles doivent être traitées.

Choice sequences are sequences not completely determined by an algorithmic law. We maintain that the introduction of particular choice sequences by Brouwer in the late twenties was not recognised as such. We claim that their later use in the method of the creative subject was not traced back to this original usage and has been misinterpreted. We show where these particular choice sequences appear in the work of Brouwer and we show how they should be handled.

Publié le : 2005-01-01
@article{PHSC_2005__9_S2_217_0,
     author = {Niekus, Joop},
     title = {Individual choice sequences in the work of L. E. J. Brouwer},
     journal = {Philosophia Scientiae},
     volume = {9},
     year = {2005},
     pages = {217-232},
     language = {en},
     url = {http://dml.mathdoc.fr/item/PHSC_2005__9_S2_217_0}
}

Niekus, Joop. Individual choice sequences in the work of L. E. J. Brouwer. Philosophia Scientiae, Tome 9 (2005) pp. 217-232. http://gdmltest.u-ga.fr/item/PHSC_2005__9_S2_217_0/

[1] Atten, Mark Van 2004.- On Brouwer, Wadsworth Philosophers Series, London: Thomson Learning, 2004. | MR 2054116 | Zbl 1072.03005

[2] Borwein, Jonathan M. 1998.- Brouwer-Heyting Sequences converge, The Mathematical Intellencer, 20, 14-15. | MR 1601815 | Zbl 0921.00003

[3] Brouwer, Luitzen, Egbert, Jan 1975.- Collected Works I, Philosophy and Foundations of Mathematics, editor A. Heyting, Amsterdam: North Holland Publishing Company, 1975. | Zbl 0311.01021

[4] Brouwer, Luitzen, Egbert, Jan 1907.- Over de grondslagen van de wiskunde, D. van Dalen, Amsterdam: Mathematisch Centrum 1981; English translation [Brouwer 1975, 13-101].

[5] Brouwer, Luitzen, Egbert, Jan 1908.- De onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, 2 (1908), 152-158; English translation: The Unreliability of the logical Principles; [Brouwer 1975, 107-111].

[6] Brouwer, Luitzen, Egbert, Jan 1918.- Begründung der Mengenlehre unabhängig der Satz vom ausgeschlossenen Dritten; Erster Teil: Allgemeine Mengenlehre, Verhandelingen der Koninklijke Akademie van Wetenschappen te Amsterdam, 5 (1918), 1-43; [Brouwer 1975, 150-221]. | JFM 46.0310.06

[7] Brouwer, Luitzen, Egbert, Jan 1919.- Begründung der Mengenlehre unabhängig der Satz vom ausgeschlossenen Dritte; Zweiter Teil: Theorie der Punktmengen, Verhandelingen der Koninklijke Akademie van Wetenschappen te Amsterdam, 7 (1919), 1-33; [Brouwer 1975, 191-221]. | JFM 47.0171.03

[8] Brouwer, Luitzen, Egbert, Jan 1927.- Über Definitionsbereiche von Funktionen, Mathematische Annalen, 97 (1927), 60-75; [Brouwer, 390-406]. | JFM 52.0239.01 | MR 1512354

[9] Brouwer, Luitzen, Egbert, Jan 1929.- Mathematik, Wissenschaft und Sprache, Monatshefte für Mathematik und Physik, 36 (1929) 153-164; [Brouwer 1975, 417-428]. | JFM 55.0028.04 | MR 1549679

[10] Brouwer, Luitzen, Egbert, Jan 1930.- Die Struktur des Kontinuums, Vienna: Gottlieb Gistel, 1930; [Brouwer 1975, 429-440].

[11] Brouwer, Luitzen, Egbert, Jan 1948.- Essentieel negatieve eigenschappen, Proceedings Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam, 51 (1948), 963-964; English translation: Essentially negative Properties, Indagationes Math, 10:322-323; [Brouwer, 1975, 478-479].

[12] Brouwer, Luitzen, Egbert, Jan 1981.- Brouwer's Cambridge Lectures on Intuitionism, editor D. van Dalen, Cambridge: Cambridge University Press, 1981. | Zbl 0476.03056

[13] Brouwer, Luitzen, Egbert, Jan 1991.- Intuitionismus, Editor D. van Dalen, Mannheim: B.I.-Wissenschaftsverlag, 1991. | MR 1189793 | Zbl 0761.03001

[14] Dalen, Dirk Van 1999.- From Brouwerian Counterexamples to the creating Subject Studia Logica, 62 (1999), 305-314. | MR 1696005 | Zbl 0922.03083

[15] Dalen, Dirk Van and Troelstra, Anne S. 1988.- Constructivity in Mathematics Volume I and II, Amsterdam: North Holland Publishing Company, 1988.

[16] Kreisel, Georg 1963.- Stanford report of the seminar on the foundations of analysis, section IV, Stanford University, 1963.

[17] Kreisel, Georg 1968.- Lawless Sequences of natural Numbers, Compositio Math, 20 (1968), 222-248. | Numdam | MR 226992 | Zbl 0157.33401

[18] Kreisel, Georg and Troelstra, Anne S. 1970.- Formal Systems for some Branches of intuitionistic Analysis, Annals of Mathematical Logic, 1 (1970), 229-387. | MR 263609 | Zbl 0211.01101

[19] Martino, Enrico 1985.- On the Brouwerian Concept of negative Continuity, Journal of Philosophical Logic, 14 (1985), 379-398. | MR 816242 | Zbl 0631.03046

[20] Niekus, Joop M. 1987.- The Method of the creative Cubject, Proceedings of the Koninklijke Akademie van Wetenschappen te Amsterdam, Series A, 4 (1987), 431-443. | MR 922447 | Zbl 0644.03034

[21] Niekus, Joop M. 2002.- Individual choice sequences in the work of L.E.J.Brouwer, ILLS Scientific Series, PP-2002-05.

[22] Posy, Carl 1976.- Varieties of Indeterminacy in the Theory of general Choice Sequences, Journal of Philosophical Logic, 5 (1976), 91-132. | MR 437315 | Zbl 0349.02027

[23] Troelstra, Anne S. 1977.- Choice Sequences, Oxford: Clarendon Press, 1977. | MR 476415

[24] Troelstra, Anne S. 1982.- On the Origin and Development of Brouwer's Concept of Choice Sequences, L.E.J.Brouwer Centenary Symposium, editors A.S.Troelstra and D.van Dalen, Amsterdam, North Holland Publishing Company, 1982: 465-486. | MR 717261 | Zbl 0522.03049