Conference Papers Year : 2018

Topological analysis of representations

Abstract

Computable analysis is the theoretical study of the abilities of algorithms to process infinite objects. The algorithms abilities depend on the way these objects are presented to them. We survey recent results on the problem of identifying the properties of objects that are decidable or semidecidable, for several concrete classes of objects and representations of them. Topology is at the core of this study, as the decidable and semidecidable properties are closely related to the open sets induced by the representation.
Fichier principal
Vignette du fichier
final.pdf (244) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01919395 , version 1 (12-11-2018)

Identifiers

  • HAL Id : hal-01919395 , version 1

Cite

Mathieu Hoyrup. Topological analysis of representations. CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany. ⟨hal-01919395⟩
83 View
188 Download

Share

More