𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Beyond Recursive Real Functions

✍ Scribed by Chun-Kuen Ho

Book ID
112252202
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
666 KB
Volume
124
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the inductive inference of recursive
On the inductive inference of recursive real-valued functions
✍ Kalvis ApsΔ«tis; Setsuo Arikawa; RΕ©siΕ†Ε‘ Freivalds; Eiju Hirowatari; Carl H. Smith πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 894 KB

We combine traditional studies of inductive inference and classical continuous mathematics to produce a study of learning real-valued functions. We consider two possible ways to model the learning by example of functions with domain and range the real numbers. The first approach considers functions

Recursive Functions
Recursive Functions
✍ YATES, C. E. M. πŸ“‚ Article πŸ“… 1970 πŸ› Nature Publishing Group 🌐 English βš– 123 KB
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

Primitive recursive real numbers
Primitive recursive real numbers
✍ Qingliang Chen; Kaile Su; Xizhong Zheng πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 168 KB

## Abstract In mathematics, various representations of real numbers have been investigated. All these representations are mathematically equivalent because they lead to the same real structure – Dedekind‐complete ordered field. Even the effective versions of these representations are equivalent in