A note on recursive functions
نویسندگان
چکیده
منابع مشابه
A Note on Recursive Functions
In this paper, we propose a new and elegant deenition of the class of recursive functions, analogous to Kleene's deenition but diiering in the primitives taken, thus demonstrating the computational power of the concurrent programming language in-The deenition can be immediately rephrased for any distributive graph in a count-ably extensive category with products, thus allowing a wide, natural g...
متن کاملA Note on Recursively Enumerable Classes of Partial Recursive Functions
A class F of partial recursive functions is called recursively enumerable if there exists an r.e. set J ⊆ N such that F = {φi | i ∈ J}. We prove that every r.e. class F of partial recursive functions with infinite domains must have a recursive witness array, i.e. there is a computable array of finite sets X = [Xn]n∈ω such that (i) for every f ∈ F one has f(n) ∈ Xn for infinitely many n and (ii)...
متن کاملA note on recursive optimization
This paper presents a new and efficient approach for optimization and implementation of filter banks e.g. velocity channels, orientation channels and scale spaces. The multi layered structure of a filter network enable a powerful decomposition of complex filters into simple filter components and the intermediary results may contribute to several output nodes. Compared to a direct implementation...
متن کاملA note on recursive multiple-priors
One of the assumptions of recursive multiple-priors utility (Epstein and Schneider, J. Econ. Theory, 113(1) (2003), 1-31) is that conditional preferences at every node satisfy an intertemporal version of the multiple-priors axioms (Gilboa and Schmeidler, J. Math. Econ., 18(2) (1989) 141-153). This note weakens this assumption: Given that conditional preferences depend only on the continuations ...
متن کاملA Note on Conjugate Functions
1. Statement of results. The purpose of this note is to discuss as simply as possible a generalization of the classical theorem of M. Riesz2 on the integrability of the conjugate functions of functions in LP, and to point out some of the consequences for Fourier series. Suppose that(t) is a non-negative, convex function defined for t^O with (2t) ̂K<p(t) ior some constant K. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1936
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1936-06353-6