Computable counter-examples to the Brouwer fixed-point theorem — mentioned by saithound

Thu, 17 Sep 2026 04:16:32 GMT

> This is the standard nested interval proof It is not. I'll be honest: your one sentence response tells me you did not read the proof above in any detail. I chose Nelson's proof precisely because its construction is well-studied and well-understood. The same construction of a mesh containing all standard points, with the coloring forcing a tiny multicolored cell, extends from the interval to the triangle. In one dimension you get two adjacent differently colored points; in two dimensions you get an infinitesimal triangle whose three vertices have the three relevant colors. Taking their…

Paper and discussion history. A mention is not an endorsement.

Computable counter-examples to the Brouwer fixed-point theorem · HackerPapers discussions

Computable counter-examples to the Brouwer fixed-point theorem — mentioned by saithound