Home | Symposium L.E.J. Brouwer, fifty years later

**Luitzen Egbertus Jan Brouwer** (27 February 1881 – 2 December 1966), was an influential Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis. On December 2, 1966 Brouwer died as a consequence of a traffic accident. Brouwer had by then put his ever-lasting mark on mathematics, logic and philosophy. In mathematics he revolutionized topology with his dimension theory, fixed point theorems and homotopy theory. In logic he became the founding father of intuitionism, with its constructive approach to mathematics and logic that is also relevant in theoretical computer science. In philosophy he questioned our very perception of mathematical reality.

On **December 9, 2016**, there has been a one-day symposium at the **Science Park 125** (entrance next to CWI) **in Amsterdam**:

"**L.E.J. Brouwer, fifty years later**"

with an interesting programme and highly renowned speakers, viz.

Dirk van Dalen, Mark van Atten, Sergei Artemov, Alexander Dranishnikov, Saul Kripke, Yiannis Moschovakis, Michael Rathjen, and Raf Bocklandt.

**Photos **from the symposium __part 1__** ** and __part 2.__** **

The **presentations** of Sergei Artemov and Saul Kripke can be found on youtube:

- Sergei Artemov,
*Constructive knowledge* - Saul A. Kripke,
*Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics*

The symposium was organized under auspices of the KWG and financially supported by these organizations. Scientific committee: Dirk van Dalen, Jan Willem Klop, Jan van Mill and Geurt Jongbloed.

Local organization:

Prof. dr. J.C.M. Baeten

Prof. dr. J.A. Bergstra

Dr. ir. T. Koetsier

Prof. dr. S.J.L. Smets

Prof. dr. E.M. Opdam

For more information on the life and work of L.E.J. Brouwer see, e.g., the entries in BWNW, Wikipedia, KB, Stanford Encyclopedia of Philosophy.

© Copyright 2015 KWG | Postbus 94079, 1090 GB Amsterdam | Ontwerp & realisatie FIZZ