Revision as of 11:28, 26 April 2023 edit ZMBerber (talk \| contribs) 15 edits m fixed typo: space after period of a sentence was missing. ← Previous edit		Revision as of 11:37, 7 May 2023 edit undo Certes (talk \| contribs) Extended confirmed users 243,646 edits m typo: Kőnig (via WP:JWB) Next edit →
Line 223: ===A proof in a weak logical system=== In [[reverse mathematics]], Brouwer's theorem can be proved in the system [[Weak ~~König~~Kőnig's lemma\|WKL<sub>0</sub>]], and conversely over the base system [[reverse mathematics\|RCA<sub>0</sub>]] Brouwer's theorem for a square implies the [[weak ~~König~~Kőnig's lemma]], so this gives a precise description of the strength of Brouwer's theorem. ==Generalizations==

Brouwer fixed-point theorem: Difference between revisions