Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 183-188
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
Brouwer's fixed-point theorem, recursive functions and sets, non- constructive theorems of analysis, constructive mapping, constructive point
@article{AMLG_1985__25_138048,
author = {G\"unter Baigger},
title = {Die {Nichtkonstruktivit\"at} des {Brouwerschen} {Fixpunktsatzes.}},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {183--188},
year = {1985},
volume = {25},
zbl = {0604.03020},
url = {http://geodesic.mathdoc.fr/item/AMLG_1985__25_138048/}
}
Günter Baigger. Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.. Archiv für mathematische Logik und Grundlagenforschung, Tome 25 (1985), pp. 183-188. http://geodesic.mathdoc.fr/item/AMLG_1985__25_138048/