• Publications
  • Influence
Constructivism in Mathematics: An Introduction
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
Logic and structure
  • D. Dalen
  • Mathematics, Computer Science
  • 1980
TLDR
Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation. Expand
An interpretation of intuitionistic analysis
The Selected Correspondence of L.E.J. Brouwer
Introduction.- 1900 - 1910.- 1911 - 1920.- 1921 - 1930.- 1931 - 1940.- 1941 - 1950.- 1951 - 1965.- Appendices.- List of Enclosures, Editorial Comments and Editorial.- Supplements.-BiographicalExpand
Brouwer's ε-fixed point from Sperner's lemma
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 toExpand
A SMALL COMPLETE CATEGORY
STUDIES IN LOGIC.
The type theoretic interpretation of constructive set theory choice principles D.S. BRIDGES Recent progress in constructive approximation theory
Mystic, geometer, and intuitionist : the life of L.E.J. Brouwer
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. TheExpand
Brouwer's Cambridge Lectures on Intuitionism
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. PrecisionExpand
...
1
2
3
4
5
...