## Did Brouwer really mean the BHK interpretation?Add to your list(s) Download to your calendar using vCal - Martin Escardo ()
- Tuesday 03 March 2015, 12:00-13:00
- CS 217.
If you have a question about this talk, please contact Uday Reddy. This is unlikely, because, taking the BHK interpretation, we can prove that if all functions (N->N)->N are continuous then 0=1. But Brouwer did claim that all functions (N->N)->N are continuous. I will derive the contradiction from the BHK interpretation, and also show what is going on, and then explain how to constructively formulate “all functions (N->N)->N are continuous” without getting into contradiction. This talk is part of the Lab Lunch series. ## This talk is included in these lists:- CS 217
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Lab Lunch
- Theoretical computer science seminar
Note that ex-directory lists are not shown. |
## Other listsSpeech Recognition by Synthesis Seminars Type the title of a new list here Computer Security Seminars## Other talksDiscrete models of cellular mechanics The highwater algebra The imprint of their explosions: Using supernova remnants to understand stellar death |