Luitzen Egbertus Jan Brouwer (1881–1966) was an early worker in algebraic topology and the founder of intuitionism.
fan theorem and bar theorem?.
On intuitionism:
From p. 6 of Errett Bishop‘s Foundations of Constructive Analysis (McGraw-Hill, 1967):
Last revised on February 18, 2023 at 15:43:12. See the history of this page for a list of all contributions to it.