Principles of Intuitionism

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

Anne S. Troelstra (Autor)

Buch | Softcover

IV, 116 Seiten

1969
Springer Berlin (Verlag)
9783540046141 (ISBN)

Artikel merken

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.

Erscheint lt. Verlag	1.1.1969
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	IV, 116 p.
Verlagsort	Berlin
Sprache	englisch
Maße	216 x 279 mm
Gewicht	181 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	arithmetic • Intuitionism • Intuitionistische Mathematik • Mathematics • ordinal • Proof • Proof theory • Theorem • Topology • well-ordering principle
ISBN-13	9783540046141 / 9783540046141
Zustand	Neuware