Advertisement

Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology

  • Giovanni Sambin
Part of the Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives book series (PAHP)

Abstract

We are here to celebrate a master, namely L. E. J. Brouwer, and one hundred years from the birth of his intuitionism. I believe that the best way to keep Brouwer alive is to try and go beyond Brouwer himself. That is why it seems proper to start with this interesting quote from Leonardo da Vinci. To go beyond Brouwer means to learn his lesson, but also try to fix his mistakes and to soften (in ourselves) some hardness in his personality. And in this way to keep him alive. To confine Brouwer into the prison of what he has materially written, would mean to kill him (again).

Keywords

Formal Space Mathematical Object Type Theory Formal Point Extensional Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Giovanni Sambin
    • 1
  1. 1.Department of Pure and Applied MathematicsUniversity of PaduaItaly

Personalised recommendations