## 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 listsCondensed Matter Physics Seminars Computer Security Seminars Computer Science Lunch Time Talk Series## Other talksOperator Preconditioning and Some Recent Developments for Boundary Integral Equations Privileged side-channel attacks for enclave adversaries Subgroups of the Monster Combining Organic Synthesis, Isotopes and Synthetic Biology in Natural Products Research Algebraic and combinatorial decompositions of Fuchsian groups Machine Learning with Causal Structure Property Relationship (CSPR): Solubility Prediction in Organic Solvents and Water |