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.
Type de document :
Communication dans un congrès
Machines and Universal Computations - MCU'2004, 2004, Saint-Petersburg, Russia, 12 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00100053
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:44
Dernière modification le : vendredi 9 février 2018 - 10:48:04

Identifiants

  • 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, 2004. 〈inria-00100053〉

Partager

Métriques

Consultations de la notice

209