BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2021/newsitem/13211/10 -December-2021-Cool-Logic-Amity-Aharoni-and-Rodrig o-Almeida DTSTAMP:20211210T160554 SUMMARY:Cool Logic, Amity Aharoni and Rodrigo Alme ida ATTENDEE;ROLE=Speaker:Amity Aharoni and Rodrigo Al meida (ILLC) DTSTART;TZID=Europe/Amsterdam:20211210T170000 DTEND;TZID=Europe/Amsterdam:20211210T190000 LOCATION:Room D1.111, Science Park 904, Amsterdam DESCRIPTION:When mathematicians and logicians hear the term 'intuitionism' they often think about th e law of excluded middle, weak proof systems, and Heyting's formalisation of his teacher's philosoph y. In this talk we will look at Brouwer's philosop hy and mathematics of intuitionism, tracing some o f the philosophical underpinnings, and motivating his mathematical results with contemporary mathema tical 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'. X-ALT-DESC;FMTTYPE=text/html:\n
When mathemati cians and logicians hear the term 'intuitionism' t hey 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 lo ok at Brouwer's philosophy and mathematics of intu itionism, tracing some of the philosophical underp innings, and motivating his mathematical results w ith contemporary mathematical tools. In it, we emp hasise Brouwer's attempt to undermine the place of logic in the foundation of philosophy, replacing it with a special notion of 'intuition'.
URL:http://events.illc.uva.nl/coollogic/talks/122 CONTACT:Vasily Romanovskiy and Tibo Rushbrooke at coollogic.uva at gmail.com. END:VEVENT END:VCALENDAR