Brouwer's Cambridge lectures on intuitionism
著者
書誌事項
Brouwer's Cambridge lectures on intuitionism
Cambridge University Press, 1981
- タイトル別名
-
Cambridge lectures on intuitionism
並立書誌 全1件
大学図書館所蔵 全30件
注記
Bibliography: p. 103-105
Includes index
内容説明・目次
内容説明
Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work.
目次
- Frontispiece L. E. J. Brouwer
- Editorial preface
- 1. Historical introduction and fundamental notions
- 2. General properties of species, spread directions, spreads and spaces
- 3. Order
- 4. Precision analysis of the continuum
- 5. The bunch theorem
- Appendix
- Notes
- References
- Index.
「Nielsen BookData」 より