31 March 2021, Cool Logic, Ezra Schoen

As a young mathematician, Brouwer gained prominence by proving a number of fundamental theorems in topology, the most famous of which is his eponymous fixed point theorem. However, Brouwer would later come to reject this theorem as not intutionistically acceptable. In this talk, I will (briefly) sketch the proof of Brouwer's fixed point theorem as it is given in most textbooks, and present an alternative, 'almost constructive' proof based on Sperner's lemma. I will also discuss how this second proof can be used to obtain intuitionistically valid variants of the fixed point theorem.

Zoom link: TBA. Please check website - Zoom link will be provided the day before.