Representations of the Real Numbers and of the Open Subsets of the Set of Real Numbers

Weihrauch, Klaus; Kreitz, Christoph

In previous papers we have presented a unified Type 2 theory of computability and continuity and a theory of representations. In this paper the concepts developed so far are used for the foundation of a new kind of constructive analysis. Different standard representations of the real numbers are compared. It turns out that the crucial differences are of topological nature and that most of the representations (e.g. the decimal representation) are not reasonable for topological reasons. In the second part some effective representations of the open subsets of the real numbers are introduced and compared.

Vorschau

Zitieren

Zitierform:

Weihrauch, Klaus / Kreitz, Christoph: Representations of the Real Numbers and of the Open Subsets of the Set of Real Numbers. Hagen 1984. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe