Mathematical intuitionism
著者
書誌事項
Mathematical intuitionism
（Cambridge elements, . Elements in philosophy of mathematics）
Cambridge University Press, 2020
- : pbk
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [100]-107)
内容説明・目次
内容説明
L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism - from elementary number theory through to Brouwer's uniform continuity theorem - and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.
目次
- 1. Introduction: three faces of intuitionism
- 2. The mathematical face of intuitionism
- 3. Formalized intuitionism
- 4. The intuitionistic standpoint
- Afterword
- Acknowledgements
- Bibliography.
「Nielsen BookData」 より