Skip to Main content Skip to Navigation
Conference papers

Real Recursive Functions and Real Extensions of Recursive Functions

Olivier Bournez 1 Emmanuel Hainry 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00100053
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:13:44 AM
Last modification on : Thursday, March 5, 2020 - 11:02:13 AM

Identifiers

  • HAL Id : inria-00100053, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

241