Please note that this newsitem has been archived, and may contain outdated information or links.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.