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  <p>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'.</p>\n
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