Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
Wim Veldman
pp. 277-299
In a weak system for intuitionistic analysis, one may prove, using the Fan Theorem as an additional axiom, that, for every continuous function ø from the unit square U to itself, for every positive rational e, there exists x in U such that |ø(x) − x| < e. Conversely, if this statement is taken as an additional axiom, the Fan Theorem follows.
Publication details
DOI: 10.1007/978-1-4020-8926-8_14
Full citation:
Veldman, W. (2009)., Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 277-299.
This document is unfortunately not available for download at the moment.