Talk:Brouwer fixed-point theorem: Difference between revisions

Revision as of 16:58, 4 February 2018

Revision as of 17:10, 4 February 2018

Line 72:

== "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)