7. The Topology of Metric Spaces. 8. Algebra. 9. Finite Type Arithmetic and Theories of Operators. 10. Proof Theory of Intuitionistic Logic. 11. The Theory of Types and Constructive Set Theory. 12.… Expand

It is by now common knowledge that Brouwer gave mathematics in 1911 a miraculous tool, the fixed point theorem, and that later in life, he disavowed it. It usually came as a shock when he replied to… Expand

Preface 12. The Fathers of Dimension 13. Progress, recognition, and frictions 14. From Berlin to Vienna 15. The three Battles 16. The Thirties 17. War and Occupation 18. Postwar Events 19. The… Expand

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… Expand