Talk:Brouwer fixed-point theorem: Difference between revisions

Content deleted Content added
NihlusBOT (talk | contribs)
נחי (talk | contribs)
Line 69:
 
Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 14:52, 26 July 2017 (UTC)
 
== "Constructive proof"? ==
 
The article sais "''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)