Real Recursive Functions and Real Extensions of Recursive Functions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Real Recursive Functions and Real Extensions of Recursive Functions

Abstract

Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing some basic functions and closed by composition and linear integration. We extend this result to all computable functions: functions over the reals that extend total recursive functions over the integers are proved to correspond to the smallest class of real functions containing some basic functions and closed by composition, linear integration and a very natural unique minimization schema.
No file

Dates and versions

inria-00100053 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100053 , version 1

Cite

Olivier Bournez, Emmanuel Hainry. Real Recursive Functions and Real Extensions of Recursive Functions. Machines and Universal Computations - MCU'2004, 2004, Saint-Petersburg, Russia, 12 p. ⟨inria-00100053⟩
111 View
0 Download

Share

Gmail Facebook X LinkedIn More