December 10th at 17:00, in SP904 D1.111
When mathematicians and logicians hear the term 'intuitionism' they often think about the law of excluded middle, weak proof systems, and Heyting's formalisation of his teacher's philosophy. In this talk we will look at Brouwer's philosophy and mathematics of intuitionism, tracing some of the philosophical underpinnings, and motivating his mathematical results with contemporary mathematical tools. In it, we emphasise Brouwer's attempt to undermine the place of logic in the foundation of philosophy, replacing it with a special notion of 'intuition'. [First upload, with Rodrigo's handout in the 'Slides' hyperlink].