University of Birmingham > Talks@bham > Lab Lunch > Did Brouwer really mean the BHK interpretation?

Did Brouwer really mean the BHK interpretation?

Add to your list(s) Download to your calendar using vCal

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.