Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes

DOI10.1007/BF02007567zbMath0604.03020OpenAlexW1971197856MaRDI QIDQ3741625

Günter Baigger

Publication date: 1985

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138048

zbMATH Keywords

Brouwer's fixed-point theoremrecursive functions and setsconstructive mappingconstructive pointnon- constructive theorems of analysis

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items (6)

Computability and Analysis, a Historical Approach ⋮ The Brouwer Fixed Point Theorem Revisited ⋮ Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers ⋮ Connected choice and the Brouwer fixed point theorem ⋮ Weihrauch Complexity in Computable Analysis

Cites Work

• Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
• Nicht konstruktiv beweisbare Sätze der Analysis
• Unnamed Item

This page was built for publication: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes