## 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
- computer sience
Note that ex-directory lists are not shown. |
## Other listsElectromagnetic Communications and Sensing Research Seminar Series Birmingham Popular Maths Lectures Topology and Dynamics seminar## Other talksTBC |