![]() |
![]() |
University of Birmingham > Talks@bham > Lab Lunch > Dipping toes in Brouwerian intuitionism: Part II
Dipping toes in Brouwerian intuitionism: Part IIAdd to your list(s) Download to your calendar using vCal
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 will be a physical-only talk] 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 listsPhysics and Astronomy Colloquia Contemporary History Postgraduate Algebra SeminarOther talksModelling uncertainty in image analysis. Sensing and metrology activities at NPL, India Hodge Theory: Connecting Algebra and Analysis Ultrafast, all-optical, and highly efficient imaging of molecular chirality The development of an optically pumped magnetometer based MEG system Perfect matchings in random sparsifications of Dirac hypergraphs |