Talk:Brouwer fixed-point theorem: Difference between revisions

Revision as of 05:37, 9 June 2006

Revision as of 03:34, 12 June 2006

Line 52:

The history section seems to imply that the theorem does not have a constructive proof. Is there a way to formalize (and prove) this statement? [[User:AxelBoldt|AxelBoldt]] 05:37, 9 June 2006 (UTC)

:Ok, I found in [http://eom.springer.de/B/b017670.htm] that there are in fact algorithms to approximate a fixed point. [[User:AxelBoldt|AxelBoldt]] 03:34, 12 June 2006 (UTC)