BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Lab Lunch
SUMMARY:Order-theoretic fixed point theorems - Paul Taylor
(Computer Science\, University of Birmingham\, ho
norary)
DTSTART:20221209T133000Z
DTEND:20221209T142000Z
UID:TALK5127AT
URL:/talk/index/5127
DESCRIPTION:Some messy history of messy classical proofs and a
simple constructive proof with applications to me
ssy algebra.\n\nI will survey the history of class
ical and constructive fixed point theorems in orde
r theory\, demonstrating that most of the attribut
ions are wrong and why not to use transfinite recu
rsion.\n\nI will conclude with a constructive theo
rem that can do everything that the older ones cou
ld do\, but has a simpler proof and is easier to u
se.
LOCATION:LG23\, SoCS
CONTACT:Paul Taylor
END:VEVENT
END:VCALENDAR