## 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:Note that ex-directory lists are not shown. |
## Other listsPure Détours Dinner Table Terrorism - Achieving Food Security Physics and Astronomy Colloquia## Other talksQuantum Sensing in Space Proofs of Turán's theorem The tragic destiny of Mileva Marić Einstein Life : it’s out there, but what and why ? TBC TBA |