Principles of Intuitionism - Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

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.

Table des matières

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.

Détails du produit

• Auteurs: Anne S Troelstra, Anne S. Troelstra
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 29.06.2009
• EAN: 9783540046141
• ISBN: 978-3-540-04614-1
• Pages: 116
• Dimensions: 159 mm x 235 mm x 9 mm
• Poids: 454 g
• Illustrations: IV, 116 p.
• Thèmes: Lecture Notes in Mathematics; Lecture Notes in Mathematics
• Catégorie: Sciences naturelles, médecine, informatique, technique > Mathématiques > Autres