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/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  <p>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.</p>\n\n  <p>Zoom link: TB
 A. Please check website - Zoom link will be provid
 ed the day before.</p>\n
URL:http://events.illc.uva.nl/coollogic/talks/117
CONTACT:Maximilian Siemers at coollogic.amsterdam 
 at gmail.com
END:VEVENT
END:VCALENDAR