𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-world computers and recursive function theory

✍ Scribed by Aaron Shenhar

Book ID
113211936
Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
638 KB
Volume
17
Category
Article
ISSN
0045-7906

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Analog computers and recursive functions
Analog computers and recursive functions over the reals
✍ Daniel Silva GraΓ§a; JosΓ© FΓ©lix Costa πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 235 KB

In this paper we show that Shannon's general purpose analog computer (GPAC) is equivalent to a particular class of recursive functions over the reals with the flavour of Kleene's classical recursive function theory. We first consider the GPAC and several of its extensions to show that all these mod

Recursive function theory and numerical
Recursive function theory and numerical analysis
✍ Webb Miller πŸ“‚ Article πŸ“… 1970 πŸ› Elsevier Science 🌐 English βš– 436 KB

We consider the role of subclasses of the recursive functions in proving nonexistence of certain numerical methods. In particular, an initial value problem is treated.

Sequential real number computation and r
Sequential real number computation and recursive relations
✍ J. Raymundo Marcial-Romero; M. Andrew Moshier πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 195 KB

## Abstract In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even fo