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/current/newsitem/12608
/31-March-2021-Cool-Logic-Ezra-Schoen
DTSTAMP:20210328T161111
SUMMARY:Cool Logic, Ezra Schoen
ATTENDEE;ROLE=Speaker:Ezra Schoen
DTSTART;TZID=Europe/Amsterdam:20210331T170000
DTEND;TZID=Europe/Amsterdam:20210331T180000
LOCATION:Online via Zoom
DESCRIPTION:As a young mathematician, Brouwer gain
ed prominence by proving a number of fundamental t
heorems in topology, the most famous of which is h
is eponymous fixed point theorem. However, Brouwer
would later come to reject this theorem as not in
tutionistically acceptable. In this talk, I will (
briefly) sketch the proof of Brouwer's fixed point
theorem as it is given in most textbooks, and pre
sent an alternative, 'almost constructive' proof b
ased on Sperner's lemma. I will also discuss how t
his second proof can be used to obtain intuitionis
tically valid variants of the fixed point theorem.
Zoom link: TBA. Please check website - Zoom link
will be provided the day before.
X-ALT-DESC;FMTTYPE=text/html:\n As a young mat
hematician, Brouwer gained prominence by proving a
number of fundamental theorems in topology, the m
ost famous of which is his eponymous fixed point t
heorem. However, Brouwer would later come to rejec
t this theorem as not intutionistically acceptable
. In this talk, I will (briefly) sketch the proof
of Brouwer's fixed point theorem as it is given in
most textbooks, and present an alternative, 'almo
st constructive' proof based on Sperner's lemma. I
will also discuss how this second proof can be us
ed to obtain intuitionistically valid variants of
the fixed point theorem.

\n\n Zoom link: TB
A. Please check website - Zoom link will be provid
ed the day before.

\n
URL:http://events.illc.uva.nl/coollogic/talks/117
CONTACT:Maximilian Siemers at coollogic.amsterdam
at gmail.com
END:VEVENT
END:VCALENDAR