Central and East European
Society for Phenomenology

Repository | Book | Chapter

176471

Two applications of dynamic constructivism

Brouwer's continuity principle and choice sequences in formal topology

Giovanni Sambin

pp. 301-315

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).

Publication details

Published in:

Boldini Pascal, Bourdeau Michel, Heinzmann Gerhard (2008) One hundred years of intuitionism (1907–2007): the Cerisy conference. Dordrecht, Springer.

Pages: 301-315

DOI: 10.1007/978-3-7643-8653-5_18

Full citation:

Sambin Giovanni (2008) „Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology“, In: P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, 301–315.