14,134 research outputs found
Characterization theorem for the conditionally computable real functions
The class of uniformly computable real functions with respect to a small
subrecursive class of operators computes the elementary functions of calculus,
restricted to compact subsets of their domains. The class of conditionally
computable real functions with respect to the same class of operators is a
proper extension of the class of uniformly computable real functions and it
computes the elementary functions of calculus on their whole domains. The
definition of both classes relies on certain transformations of infinitistic
names of real numbers. In the present paper, the conditional computability of
real functions is characterized in the spirit of Tent and Ziegler, avoiding the
use of infinitistic names
On the Weak Computability of Continuous Real Functions
In computable analysis, sequences of rational numbers which effectively
converge to a real number x are used as the (rho-) names of x. A real number x
is computable if it has a computable name, and a real function f is computable
if there is a Turing machine M which computes f in the sense that, M accepts
any rho-name of x as input and outputs a rho-name of f(x) for any x in the
domain of f. By weakening the effectiveness requirement of the convergence and
classifying the converging speeds of rational sequences, several interesting
classes of real numbers of weak computability have been introduced in
literature, e.g., in addition to the class of computable real numbers (EC), we
have the classes of semi-computable (SC), weakly computable (WC), divergence
bounded computable (DBC) and computably approximable real numbers (CA). In this
paper, we are interested in the weak computability of continuous real functions
and try to introduce an analogous classification of weakly computable real
functions. We present definitions of these functions by Turing machines as well
as by sequences of rational polygons and prove these two definitions are not
equivalent. Furthermore, we explore the properties of these functions, and
among others, show their closure properties under arithmetic operations and
composition
Computability of Julia sets
In this paper we settle most of the open questions on algorithmic
computability of Julia sets. In particular, we present an algorithm for
constructing quadratics whose Julia sets are uncomputable. We also show that a
filled Julia set of a polynomial is always computable.Comment: Revised. To appear in Moscow Math. Journa
Approximation systems for functions in topological and in metric spaces
A notable feature of the TTE approach to computability is the representation
of the argument values and the corresponding function values by means of
infinitistic names. Two ways to eliminate the using of such names in certain
cases are indicated in the paper. The first one is intended for the case of
topological spaces with selected indexed denumerable bases. Suppose a partial
function is given from one such space into another one whose selected base has
a recursively enumerable index set, and suppose that the intersection of base
open sets in the first space is computable in the sense of Weihrauch-Grubba.
Then the ordinary TTE computability of the function is characterized by the
existence of an appropriate recursively enumerable relation between indices of
base sets containing the argument value and indices of base sets containing the
corresponding function value.This result can be regarded as an improvement of a
result of Korovina and Kudinov. The second way is applicable to metric spaces
with selected indexed denumerable dense subsets. If a partial function is given
from one such space into another one, then, under a semi-computability
assumption concerning these spaces, the ordinary TTE computability of the
function is characterized by the existence of an appropriate recursively
enumerable set of quadruples. Any of them consists of an index of element from
the selected dense subset in the first space, a natural number encoding a
rational bound for the distance between this element and the argument value, an
index of element from the selected dense subset in the second space and a
natural number encoding a rational bound for the distance between this element
and the function value. One of the examples in the paper indicates that the
computability of real functions can be characterized in a simple way by using
the first way of elimination of the infinitistic names.Comment: 21 pages, published in Logical Methods in Computer Scienc
Diophantine Inequalities as a Problem of Difference between Consecutive Primes
In the present paper, we have developed a method for solving
\textit{diophantine inequalities} using their relationship with the
\textit{difference between consecutive primes}.
Using this approach we have been able to prove some theorems, including
Ingham's exponential theorem as well as some new results. Diophantine
inequalities and their connection with Cramer's and Andrica's conjectures are
also discussed
- …