Publication
Polynomial differential equations compute all real computable functions on computable compact intervals
| dc.contributor.author | Bournez, Olivier | |
| dc.contributor.author | Campagnolo, Manuel | |
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Hainry, Emmanuel | |
| dc.date.accessioned | 2012-04-13T08:20:29Z | |
| dc.date.available | 2012-04-13T08:20:29Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | In the last decade, the eld of analog computation has experienced renewed interest. In particular, there have been several attempts to un- derstand which relations exist between the many models of analog com- putation. Unfortunately, most models are not equivalent. It is known that Euler's Gamma function is computable according to computable analysis, while it cannot be generated by Shannon's General Purpose Analog Computer (GPAC). This example has often been used to argue that the GPAC is less powerful than digital computation. However, as we will demonstrate, when computability with GPACs is not restricted to real-time generation of functions, we obtain two equiva- lent models of analog computation. Using this approach, it has been shown recently that the Gamma func- tion becomes computable by a GPAC [1]. Here we extend this result by showing that, in an appropriate framework, the GPAC and computable analysis are actually equivalent from the computability point of view, at least in compact intervals. Since GPACs are equivalent to systems of polynomial di erential equations then we show that all real computable functions over compact intervals can be de ned by such models. | por |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/1011 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | http://dx.doi.org/10.1016/j.jco.2006.12.005 | por |
| dc.title | Polynomial differential equations compute all real computable functions on computable compact intervals | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 335 | por |
| oaire.citation.issue | 23 | por |
| oaire.citation.startPage | 317 | por |
| oaire.citation.title | Journal of Complexity | por |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf |