Voir la notice de l'article provenant de la source Numdam
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.
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.
@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},
pages = {217--232},
publisher = {\'Editions Kim\'e},
volume = {9},
number = {S2},
year = {2005},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_217_0/}
}
Niekus, Joop. Individual choice sequences in the work of L. E. J. Brouwer. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 217-232. http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_217_0/