PP-2017-02: Niekus, Joop (2017) What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question. [Pre-print]
Preview |
Text
Wat is een keuzerij - Troelstra's paradox (2).pdf Download (342kB) | Preview |
Abstract
Brouwer’s intuitionism is characterized by sequences not completely determined by a law: choice sequences. Initially Brouwer used only global properties of choice sequences, as in his reaching the continuum from the discrete. But in the late nineteen twenties he found a way to apply particular choice sequences, and he came to full exploitation of them in his papers after the Second World War. The use in the nineteen twenties has never been recognized as something special, and the use of particular choice sequences in his post-war papers has been misinterpreted in the theory of the idealized mathematician. From a solution of a paradox that stroke the misinterpretation a conception of choice sequences arises that is not provided by the standard theories on the subject. This conception, fully supported by an investigation of Brouwer’s work, opens a way for research in a most interesting part of intuitionism.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2017-02 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2017 |
| Subjects: | Logic Philosophy |
| Depositing User: | drs. Joop Niekus |
| Date Deposited: | 13 Jan 2017 13:32 |
| Last Modified: | 16 Mar 2017 19:11 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1519 |
Actions (login required)
 |
View Item |
