Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2501.16067 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913666971992064 |
|---|---|
| author | Niekus, Joop |
| author_facet | Niekus, Joop |
| contents | We follow the history and development of Brouwer's use of individual choice sequences up to the discovery of a method to apply them successfully in 1927. With the principles we derive from this first use we analyze in detail Brouwer's work from that time onward. Our reconstruction uses only very basic principles. It aligns exactly with Brouwer's work after 1927 and, moreover, it gives a clear explanation of the proofs of his results and the terms he uses. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_16067 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Individual choice sequences -- History, development and use Niekus, Joop Logic We follow the history and development of Brouwer's use of individual choice sequences up to the discovery of a method to apply them successfully in 1927. With the principles we derive from this first use we analyze in detail Brouwer's work from that time onward. Our reconstruction uses only very basic principles. It aligns exactly with Brouwer's work after 1927 and, moreover, it gives a clear explanation of the proofs of his results and the terms he uses. |
| title | Individual choice sequences -- History, development and use |
| topic | Logic |
| url | https://arxiv.org/abs/2501.16067 |