|
According to Lyusternik ''Convex Figures and Polyhedra'', the theorem was first proved by a Lettish mathematician named Bol. No references are provided. Anyone know what this is about?--[[User:192.35.35.36|192.35.35.36]] 00:08, 18 Feb 2005 (UTC)
== "Constructive proof"? ==
The article sais "''The first algorithm to construct a fixed point was proposed by H. Scarf.''" and also "''Kellogg, Li, and Yorke turned Hirsch's proof into a constructive proof by observing that...''"
<br>I'm wondering if it's indeed a constructive proof, since Brower's theorem for one dimension is equivalent to [[intermediate value theorem]], which does not admit a constructive proof.
<br>See for example [https://mathoverflow.net/questions/202811/does-the-brouwer-fixed-point-theorem-admit-a-constructive-proof this discussion] in [[MathOverflow]]. [[User:נחי|Nachi]] ([[User talk:נחי|talk]]) 16:58, 4 February 2018 (UTC)
:This is a symptom of different people using "constructive" to mean different things. The paper by Kellog, Li, and York really is titled "A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational Results". But they are working in numerical analysis, not in constructive mathematics. So perhaps all that they mean by 'constructive proof' is that their proof can be used to obtain a numerical algorithm to approximate a fixed point. I am not completely sure what they mean by constructive, though, as I look at their paper. They also assume that the map is not only continuous, but twice differentiable. In the sense of many branches of constructive mathematics, it is known that the fixed point theorem implies nonconstructive principles such as LLPO, and so the fixed point theorem is not constructive in the sense of those branches. — Carl <small>([[User:CBM|CBM]] · [[User talk:CBM|talk]])</small> 17:25, 4 February 2018 (UTC)
::Thank you for the answer. It makes it clear.
::Unless I completely not aware of the usual use of "constructive" in mathematics, I guess the best way to describe KLY version of Hirsch's proof is simply write "numerical algorithm" or "computable method", instead of "constructive". Also in the description of Scarf's proof the word "construct" should be replaced by "calculate". [[User:נחי|Nachi]] ([[User talk:נחי|talk]]) 20:25, 4 February 2018 (UTC)
== Citation style ==
| 