Quote: “Topological fixed points are non constructive.”
Yeah. This fact is kind of crazy, I still haven’t made my peace with it. For example, there’s a computable continuous function from the unit square to itself without any computable fixed points.
Quote: “Topological fixed points are non constructive.”
Yeah. This fact is kind of crazy, I still haven’t made my peace with it. For example, there’s a computable continuous function from the unit square to itself without any computable fixed points.