Dipping toes in Brouwerian intuitionism

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

• Ayberk Tosun (University of Birmingham)
• Thursday 10 November 2022, 14:00-15:00
• LG23, SoCS.

If you have a question about this talk, please contact Anupam Das.

This will be an informal introductory talk on the basics of Brouwerian intuitionism. I will give a self-contained presentation of Brouwer’s bar thesis and fan theorem, and explain how the computational content of the bar thesis can be understood using effectful programs (as in Escardó’s technique of effectful forcing).

[NB: this is a physical-only talk.]

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• LG23, SoCS
• Lab Lunch

Note that ex-directory lists are not shown.