EN FR
EN FR


Section: Highlights of the Year

Highlights of the Year

We worked on the computable aspects of an elementary problem in real analysis: extending a continuous function on a larger domain. More precisely, if a real-valued function f is defined on an interval [0,a) (with 0<a<1) and is computable there, under which conditions can it be extended to a computable function on [0,1]? Our results show how the answer depends on a and on the way f converges at a. This provides new characterizations of already existing classes of real numbers previously defined in computability theory. Our work was presented at LICS 2017 [19].