Principles of Intuitionism
Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Seiten
1969
|
1969
Springer Berlin (Verlag)
978-3-540-04614-1 (ISBN)
Springer Berlin (Verlag)
978-3-540-04614-1 (ISBN)
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-10 | 3-540-04614-3 / 3540046143 |
ISBN-13 | 978-3-540-04614-1 / 9783540046141 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €