Brouwer's \(\epsilon\)-fixed point and Sperner's lemma

DOI10.1016/J.TCS.2011.04.002zbMath1220.03051OpenAlexW2069746896WikidataQ124792545 ScholiaQ124792545MaRDI QIDQ549181

Dirk van Dalen

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.002

zbMATH Keywords

fixed-point theoremBrouwerintuitionism

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

Related Items (4)

Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions ⋮ Brouwer's fixed point theorem with isolated fixed points and his fan theorem ⋮ A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity ⋮ Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics

Cites Work

• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• Constructivism in mathematics. An introduction. Volume II
• An intuitionist correction of the fixed-point theorem on the sphere

This page was built for publication: Brouwer's \(\epsilon\)-fixed point and Sperner's lemma