On the extension of computable real functions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On the extension of computable real functions

Walid Gomaa
  • Fonction : Auteur
  • PersonId : 914558

Résumé

We investigate interrelationships among different notions from mathematical analysis, effective topology, and classical computability theory. Our main object of study is the class of computable functions defined over an interval with the boundary being a left-c.e. real number. We investigate necessary and sufficient conditions under which such functions can be computably extended. It turns out that this depends on the behavior of the function near the boundary as well as on the class of left-c.e. real numbers to which the boundary belongs, that is, how it can be constructed. Of particular interest a class of functions is investigated: sawtooth functions constructed from computable enumerations of c.e. sets.
Fichier principal
Vignette du fichier
corrected.pdf (284.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01494332 , version 1 (23-03-2017)

Identifiants

  • HAL Id : hal-01494332 , version 1

Citer

Mathieu Hoyrup, Walid Gomaa. On the extension of computable real functions. Logic In Computer Science (LICS), Jun 2017, Reykjavik, Iceland. ⟨hal-01494332⟩
210 Consultations
261 Téléchargements

Partager

Gmail Facebook X LinkedIn More