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'.

\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