The recursive irrationality of π

1954 ◽  
Vol 19 (4) ◽  
pp. 267-274 ◽  
Author(s):  
R. L. Goodstein
Keyword(s):  
Real Number ◽  
Recursive Function ◽  
Present Note ◽  
Rational Numbers ◽  
Negative Integer ◽  
Exponential Series ◽  
General Recursive Function ◽  
Recursive Sequence ◽  
Image Position ◽  
Primitive Recursive

A primitive-recursive sequence of rational numbers sn is said to be primitive-recursively irrational, if there are primitive recursive functions n(k), i(p, q) > 0 and N(p, q) such that:1. (k)(n ≥ n(k) → ∣sn – sn(k)∣ < 2−k).2. (p)(q)(q > 0 & n ≥ N(p, q) → ∣sn ± p/q∣ > 1/i(p, q)).The object of the present note is to establish the primitive-recursive irrationality of a sequence which converges to π. In a previous paper we proved the primitive-recursive irrationality of the exponential series Σxn/n!, for all rational values of x, and showed that a primitive-(general-) recursively irrational sequence sn is strongly primitive-(general-)recursive convergent in any scale, where a recursive sequence sn is said to be strongly primitive-(general-)recursive convergent in the scale r (r ≥ 2), if there is a non-decreasing primitive-(general-) recursive function r(k) such that,where [x] is the greatest integer contained in x, i.e. [x] = i if i ≤ x < i + 1, [x] = —i if i ≤ —x < i+1, where i is a non-negative integer.A rational recursive sequence sn is said to be recursive convergent, if there is a recursive function n(k) such that.If a sequence sn is strongly recursive convergent in a scale r, then it is recursive convergent and its limit is the recursive real number where, for any k ≥ 0,.

Arithmetical representation of recursively enumerable sets

1956 ◽  
Vol 21 (2) ◽  
pp. 162-186 ◽  
Author(s):  
Raphael M. Robinson
Keyword(s):  
Recursive Function ◽  
Natural Numbers ◽  
General Recursive Function ◽  
Recursively Enumerable Set ◽  
Integer Coefficients ◽  
Primitive Recursive Function ◽  
Recursively Enumerable ◽  
Image Position ◽  
The Right ◽  
Primitive Recursive

A set S of natural numbers is called recursively enumerable if there is a general recursive function F(x, y) such thatIn other words, S is the projection of a two-dimensional general recursive set. Actually, it is no restriction on S to assume that F(x, y) is primitive recursive. If S is not empty, it is the range of the primitive recursive functionwhere a is a fixed element of S. Using pairing functions, we see that any non-empty recursively enumerable set is also the range of a primitive recursive function of one variable.We use throughout the logical symbols ⋀ (and), ⋁ (or), → (if…then…), ↔ (if and only if), ∧ (for every), and ∨(there exists); negation does not occur explicitly. The variables range over the natural numbers, except as otherwise noted.Martin Davis has shown that every recursively enumerable set S of natural numbers can be represented in the formwhere P(y, b, w, x1 …, xλ) is a polynomial with integer coefficients. (Notice that this would not be correct if we replaced ≤ by <, since the right side of the equivalence would always be satisfied by b = 0.) Conversely, every set S represented by a formula of the above form is recursively enumerable. A basic unsolved problem is whether S can be defined using only existential quantifiers.

A note on the representation of general recursive functions and the μ quantifier

1959 ◽  
Vol 55 (2) ◽  
pp. 145-148
Author(s):  
Alan Rose
Keyword(s):  
Natural Number ◽  
Recursive Function ◽  
Natural Numbers ◽  
General Recursive Function ◽  
Recursive Functions ◽  
Image Position ◽  
Primitive Recursive

It has been shown that every general recursive function is definable by application of the five schemata for primitive recursive functions together with the schemasubject to the condition that, for each n–tuple of natural numbers x1,…, xn there exists a natural number xn+1 such that

scholarly journals On linear recurrence sequences with polynomial coefficients

1996 ◽  
Vol 38 (2) ◽  
pp. 147-155 ◽  
Author(s):  
A. J. van der Poorten ◽  
I. E. Shparlinski
Keyword(s):  
Recurrence Relation ◽  
Upper Bound ◽  
Rational Numbers ◽  
Negative Integer ◽  
Linear Recurrence ◽  
Initial Values ◽  
Polynomial Coefficients ◽  
Image Position ◽  
Recurrence Sequences

We consider sequences (Ah)defined over the field ℚ of rational numbers and satisfying a linear homogeneous recurrence relationwith polynomial coefficients sj;. We shall assume without loss of generality, as we may, that the sj, are defined over ℤ and the initial values A0A]…, An−1 are integer numbers. Also, without loss of generality we may assume that S0 and Sn have no non-negative integer zero. Indeed, any other case can be reduced to this one by making a shift h → h – l – 1 where l is an upper bound for zeros of the corresponding polynomials (and which can be effectively estimated in terms of their heights)

scholarly journals GENERALIZED CONTINUED FRACTION EXPANSIONS WITH CONSTANT PARTIAL DENOMINATORS

2018 ◽  
Vol 107 (02) ◽  
pp. 272-288
Author(s):  
TOPI TÖRMÄ
Keyword(s):  
Positive Integer ◽  
Real Number ◽  
Continued Fraction ◽  
Positive Real Number ◽  
Rational Numbers ◽  
Positive Real ◽  
Image Position ◽  
Fixed Positive Integer ◽  
Continued Fraction Expansions ◽  
Positive Integers

We study generalized continued fraction expansions of the form $$\begin{eqnarray}\frac{a_{1}}{N}\frac{}{+}\frac{a_{2}}{N}\frac{}{+}\frac{a_{3}}{N}\frac{}{+}\frac{}{\cdots },\end{eqnarray}$$ where $N$ is a fixed positive integer and the partial numerators $a_{i}$ are positive integers for all $i$ . We call these expansions $\operatorname{dn}_{N}$ expansions and show that every positive real number has infinitely many $\operatorname{dn}_{N}$ expansions for each $N$ . In particular, we study the $\operatorname{dn}_{N}$ expansions of rational numbers and quadratic irrationals. Finally, we show that every positive real number has, for each $N$ , a $\operatorname{dn}_{N}$ expansion with bounded partial numerators.

scholarly journals Monotone functions mapping the set of rational numbers on itself

1963 ◽  
Vol 3 (3) ◽  
pp. 282-287 ◽  
Author(s):  
B. H. Neumann ◽  
R. Rado
Keyword(s):  
Present Note ◽  
Rational Numbers ◽  
Linear Functions ◽  
Monotone Functions ◽  
Differentiable Functions ◽  
One To One ◽  
Image Position

The functions f defined by or by for c rational and less than + 1 map the set of rational numbers between 0 and 1 one-to-one onto itself; and they are the only fractional linear functions with this property. Miss Tekla Taylor recently raised the question * whether these are the only differentiable functions with the stated property. In the present note we show, by two different constructions, that the answer is negative; in each case much freedom remains, which could be used to make the functions in question have various additional properties.

Extensions of some theorems of Gödel and Church

1936 ◽  
Vol 1 (3) ◽  
pp. 87-91 ◽  
Author(s):  
Barkley Rosser
Keyword(s):  
General Class ◽  
Recursive Function ◽  
General Recursive Function ◽  
Primitive Recursive ◽  
Theorem Xiii ◽  
Made In

We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable. “ω-consistent” will be used in the sense of Gödel. “General recursive” and “primitive recursive” will be used in the sense of Kleene, so that what Gödel calls “rekursiv” will be called “primitive recursive.” By an “Entscheidungsverfahren” will be meant a general recursive function ϕ(n) such that, if n is the Gödel number of a provable formula, ϕ(n) = 0 and, if n is not the Gödel number of a provable formula, ϕ(n) = 1. In specifying that ϕ must be general recursive we are following Church in identifying “general recursiveness” and “effective calculability.”First, a modification is made in Gödel's proofs of his theorems, Satz VI (Gödel, p. 187—this is the theorem which states that ω-consistency implies the existence of undecidable propositions) and Satz XI (Gödel, p. 196—this is the theorem which states that simple consistency implies that the formula which states simple consistency is not provable). The modifications of the proofs make these theorems hold for a much more general class of logics. Then, by sacrificing some generality, it is proved that simple consistency implies the existence of undecidable propositions (a strengthening of Gödel's Satz VI and Kleene's Theorem XIII) and that simple consistency implies the non-existence of an Entscheidungsverfahren (a strengthening of the result in the last paragraph of Church).

On iterative solutions of algebraic equations

1949 ◽  
Vol 45 (2) ◽  
pp. 237-240 ◽  
Author(s):  
C. Domb
Keyword(s):  
Present Note ◽  
Negative Integer ◽  
Algebraic Equations ◽  
Systematic Classification ◽  
Iterative Processes ◽  
Solution Of Equations ◽  
Iterative Solutions ◽  
Image Position

1. In a recent paper (1) Hartree has given a systematic classification of iterative processes, and has shown how to construct processes of any order for the solution of equations of the formwhere p is a positive or negative integer. It is the purpose of the present note to describe general methods of generating iterative processes, and in particular to show how to construct processes of any order for the solution of algebraic equations.

A problem in recursive function theory

1953 ◽  
Vol 18 (3) ◽  
pp. 225-232
Author(s):  
R. L. Goodstein
Keyword(s):  
Classical Theory ◽  
Recursive Function ◽  
Present Note ◽  
Function Theory ◽  
Single Point ◽  
Satisfying Condition ◽  
Mean Value ◽  
Classical Analysis ◽  
Rolle’S Theorem ◽  
Image Position

In a recent paper [4] on mean value theorems in recursive function theory we proved the theorem that(A) iff(n, x) is relatively differentiable with a relative derivative f1(n, x), for a ≤ x ≤ b, and if f(n, a) = f(n, b) = 0 relative to n,then there is a recursive function ck, a < ck < b, and a recursive R(k) such that f1(n, ck) = 0(k) for n ≥ R(k); and we showed further that the added condition(B) f(n, x) is either relatively variable or relatively constantsuffices to ensure that ck is uniformly contained in (a, b), i.e. that there exist α, β such thatA comparison with the conditions under which Rolle's theorem is established in classical analysis suggests that clause (A) itself might suffice to ensure that ck is uniformly contained in (a, b); for in the classical theory there is a single point c, a < c < b, for which lim f1(n, c) = 0, and therefore f1(n, c) = 0(k) for sufficiently great values of n, where of course c is independent of k.The object of the present note is to show that this is not in fact the case, and we shall construct a recursive function f(n, x) satisfying condition (A) in the interval (0, 1) and such that any sequence ck for which f1(n, ck) = 0(k) for large enough values of n is not uniformly contained in (0, 1).

Polynomially and superexponentially shorter proofs in fragments of arithmetic

1992 ◽  
Vol 57 (3) ◽  
pp. 844-863 ◽  
Author(s):  
Franco Montagna
Keyword(s):  
Fixed Points ◽  
Recursive Function ◽  
Peano Arithmetic ◽  
Modal Language ◽  
Primitive Recursive Function ◽  
Consistent Extension ◽  
Image Position ◽  
Primitive Recursive ◽  
Increasing Function

In Parikh [71] it is shown that, if T is an r.e. consistent extension of Peano arithmetic PA, then, for each primitive recursive function g, there is a formula φ of PA such that(In the following, Proof T(z, φ) and Prov T(φ) denote the metalinguistic assertions that z codes a proof of φ in T and that φ is provable in T respectively, where ProofT(z, ┌φ┐) and ProvT(┌φ┐) are the formalizations of Proof T(z,φ) and ProvT(φ) respectively in the language of PA, ┌φ┐ denotes the Gödel number of φ and ┌φ┐ denotes the corresponding numeral. Also, for typographical reasons, subscripts will not be made boldface.) If g is a rapidly increasing function, we express (1) by saying that ProvT(┌φ┐) has a much shorter proof modulo g than φ. Parikh's result is based on the fact that a suitable formula A(x), roughly asserting that (1) holds with x in place of φ, has only provable fixed points. In de Jongh and Montagna [89], this situation is generalized and investigated in a modal context. There, a characterization is given of arithmetical formulas arising from modal formulas of a suitable modal language which have only provable fixed points, and Parikh's result is obtained as a particular case.

scholarly journals Homogeneous orbit closures and applications

2011 ◽  
Vol 32 (2) ◽  
pp. 785-807 ◽  
Author(s):  
ELON LINDENSTRAUSS ◽  
URI SHAPIRA
Keyword(s):  
Real Number ◽  
Unit Volume ◽  
Orbit Closures ◽  
Image Position

AbstractWe give new classes of examples of orbits of the diagonal group in the space of unit volume lattices in ℝd for d≥3 with nice (homogeneous) orbit closures, as well as examples of orbits with explicitly computable but irregular orbit closures. We give Diophantine applications to the former; for instance, we show that, for all γ,δ∈ℝ, where 〈c〉 denotes the distance of a real number c to the integers.

Sign in / Sign up

Export Citation Format

Share Document