Please note that this newsitem has been archived, and may contain outdated information or links.
10 December 2021, Cool Logic, Amity Aharoni and Rodrigo Almeida
Speaker: Amity Aharoni and Rodrigo Almeida (ILLC)
Title: Brouwer's Intuitionism: Philosophy, the Continuum, and boxing with your Feet
Date: Friday 10 December 2021
Time: 17:00-19:00
Location: Room D1.111, Science Park 904, Amsterdam
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'.
For more information, see
http://events.illc.uva.nl/coollogic/talks/122
or contact Vasily Romanovskiy and Tibo Rushbrooke at coollogic.uva at gmail.com..
Please note that this newsitem has been archived, and may contain outdated information or links.