Elements of Intuitionism

Front Cover
Clarendon Press, 2000 - Mathematics - 331 pages
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.
 

Contents

Introductory remarks
1
Elementary intuitionistic mathematics
26
Choice sequences and spreads
40
4
68
5
75
4
85
5
106
The semantics of intuitionistic logic
119
Some further topics
211
Concluding philosophical remarks
250
Bibliography
311
Index of Notation
325
Copyright

Other editions - View all

Common terms and phrases

About the author (2000)

Michael Dummett is at University of Oxford.

Bibliographic information