Brouwerjaar
Op 9 december 2016 werd ter gelegenheid van het Brouwerjaar te Amsterdam een eendaags symposium georganiseerd "L.E.J. Brouwer, fifty years later".
De presentaties van Sergei Artemov en Saul Kripke staan op YouTube:
- Sergei Artemov, Constructive knowledge
- Saul A. Kripke, Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics
De presentaties staan hier:
- Sergei Artemov, Intuitionism and Knowledge
- Raf Bocklandt, Reflections on a cup of coffee
- Mark van Atten, On two problems with the Theory of the Creating Subject
- Saul Kripke, Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics
- Alexander Dranishnikov, On topology of robot motion planning
- Yiannis Moschovakis, Intuitionism and effective descriptive set theory
- Michael Rathjen, Indefiniteness, definiteness and semi-intuitionistic theories of sets
- Dirk van Dalen, Where did it all begin?
