Completeness: when enough is enough (Q2003502)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7077598
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Completeness: when enough is enough |
scientific article; zbMATH DE number 7077598 |
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
0.7751824259757996
0 references
0.7732535600662231
0 references
0.7582752704620361
0 references
0.7582752704620361
0 references
