BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Lab Lunch
SUMMARY:Did Brouwer really mean the BHK interpretation? -
Martin Escardo ()
DTSTART:20150303T120000Z
DTEND:20150303T130000Z
UID:TALK1692AT
URL:/talk/index/1692
DESCRIPTION:This is unlikely\, because\, taking the BHK interp
retation\, we \ncan prove that if all functions (N
->N)->N are continuous then 0=1. But \nBrouwer did
claim that all functions (N->N)->N are continuous
. I will \nderive the contradiction from the BHK i
nterpretation\, and also show what \nis going on\,
and then explain how to constructively formulate
"all \nfunctions (N->N)->N are continuous" without
getting into contradiction.\n
LOCATION:CS 217
CONTACT:Uday Reddy
END:VEVENT
END:VCALENDAR