Real Recursive Functions and Real Extensions of Recursive Functions
Identifieur interne : 006D27 ( Main/Merge ); précédent : 006D26; suivant : 006D28Real Recursive Functions and Real Extensions of Recursive Functions
Auteurs : Olivier Bournez ; Emmanuel HainrySource :
English descriptors
- KwdEn :
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.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003F82
- to stream Crin, to step Curation: 003F82
- to stream Crin, to step Checkpoint: 000852
Links to Exploration step
CRIN:bournez04cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="149">Real Recursive Functions and Real Extensions of Recursive Functions</title></titleStmt><publicationStmt><idno type="RBID">CRIN:bournez04c</idno><date when="2004" year="2004">2004</date><idno type="wicri:Area/Crin/Corpus">003F82</idno><idno type="wicri:Area/Crin/Curation">003F82</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003F82</idno><idno type="wicri:Area/Crin/Checkpoint">000852</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000852</idno><idno type="wicri:Area/Main/Merge">006D27</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Real Recursive Functions and Real Extensions of Recursive Functions</title><author><name sortKey="Bournez, Olivier" sort="Bournez, Olivier" uniqKey="Bournez O" first="Olivier" last="Bournez">Olivier Bournez</name></author><author><name sortKey="Hainry, Emmanuel" sort="Hainry, Emmanuel" uniqKey="Hainry E" first="Emmanuel" last="Hainry">Emmanuel Hainry</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>analog models</term><term>complexity</term><term>computability</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="2598">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.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 006D27 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 006D27 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:bournez04c
|texte= Real Recursive Functions and Real Extensions of Recursive Functions
}}
| This area was generated with Dilib version V0.6.33. |  |