Completeness: when enough is enough (Q2003502)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Completeness: when enough is enough |
scientific article |
Statements
Completeness: when enough is enough (English)
0 references
9 July 2019
0 references
Summary: We investigate the notion of a complete enough metric space that, while classically vacuous, in a constructive setting allows for the generalisation of many theorems to a much wider class of spaces. In doing so, this notion also brings the known body of constructive results significantly closer to that of classical mathematics. Most prominently, we generalise the Kreisel-Lacome-Shoenfield Theorem/Tseytin's Theorem on the continuity of functions in recursive mathematics.
0 references
constructive mathematics
0 references
computable analysis
0 references
completeness
0 references