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
• Lab Lunch

Note that ex-directory lists are not shown.