Alta reperibilità
Principles of Intuitionism
Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
- Editore:
Springer Berlin Heidelberg
- Collana:
- Lecture Notes In Mathematics
- EAN:
9783540046141
- ISBN:
3540046143
- Pagine:
- 116
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con la
Descrizione Principles of Intuitionism
Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.- Choice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti