Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
pp. 277-299
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374
Abstrakt
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
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 24
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 25
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 30
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 31
Deprecated: rtrim(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/function/format/harvard.php on line 36
Published in:
Palmgren Erik, Segerberg Krister (2009) Logicism, intuitionism, and formalism: what has become of them?. Dordrecht, Springer.
Seiten: 277-299
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4020-8926-8_14
Referenz:
Veldman Wim (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, 277–299.