English
Related papers

Related papers: Subrecursive Approximations of Irrational Numbers …

200 papers

We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-10 expansions, Dedekind cuts and continued fractions.

Logic · Mathematics 2023-04-17 Amir M. Ben-Amram , Lars Kristiansen , Jakob Grue Simonsen

In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.

History and Overview · Mathematics 2009-11-02 Martin Klazar

We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers…

Number Theory · Mathematics 2014-10-07 Verónica Becher , Yann Bugeaud , Theodore A. Slaman

Simple continued fractions, base-b expansions, Dedekind cuts and Cauchy sequences are common notations for number systems. In this note, first, it is proven that both simple continued fractions and base-b expansions fail to denote real…

General Mathematics · Mathematics 2021-02-05 Pith Xie

In the literature, we have various ways of proving irrationality of a real number. In this survey article, we shall emphasize on a particular criterion to prove irrationality. This is called nice approximation of a number by a sequence of…

Number Theory · Mathematics 2022-06-28 Tirthankar Bhattacharyya , Soham Bakshi , Arka Das

It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts,…

Optimization and Control · Mathematics 2026-01-06 Andreas H Hamel

In this paper we provide a complete approach to the real numbers via decimal representations. Construction of the real numbers by Dedekind cuts, Cauchy sequences of rational numbers, and the algebraic characterization of the real number…

Classical Analysis and ODEs · Mathematics 2011-03-08 Liangpan Li

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

Computational Complexity · Computer Science 2018-05-08 Masaki Nakanishi , Marcos Villagra

We study how well a real number can be approximated by sums of two or more rational numbers with denominators up to a certain size.

Number Theory · Mathematics 2007-05-23 Tsz Ho Chan , Angel V. Kumchev

Throughout history, recreational mathematics has always played a prominent role in advancing research. Following in this tradition, in this paper we extend some recent work with crazy sequential representations of numbers- equations made of…

History and Overview · Mathematics 2018-10-12 Tim Wylie

Based on continued fractions with subtractions, we identify the set of real numbers with the set of infinite integer sequences with all terms but the first one greater or equal to two. Each such sequence produces in a canonical way a unique…

Number Theory · Mathematics 2020-10-13 Rinat Kashaev

Researchers are often perplexed when their machine learning algorithms are required to deal with complex number. Various strategies are commonly employed to project complex number into real number, although it is frequently sacrificing the…

Numerical Analysis · Computer Science 2018-04-03 Satrya Fajri Pratama , Azah Kamilah Muda , Yun-Huoy Choo

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not…

Numerical Analysis · Mathematics 2012-03-15 Yaroslav D. Sergeyev

Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations}. A logic for convergent infinite computations is…

Logic in Computer Science · Computer Science 2007-05-23 Wei Li , Shilong Ma , Yuefei Sui , Ke Xu

In this paper we review a general proof for the irrationality property of numbers which take a certain form of infinite sums.

Number Theory · Mathematics 2016-12-06 Tomer Shushi

We discuss the use of matrices for providing sequences of rationals that approximate algebraic irrationalities. In particular, we study the regular representation of algebraic extensions, proving that ratios between two entries of the…

Number Theory · Mathematics 2020-03-10 Stefano Barbero , Umberto Cerruti , Nadir Murru

It is a ubiquitous opinion among mathematicians that a real number is just a point in the line. If this rough definition is not enough, then a mathematician may provide a formal definition of the real numbers in the set theoretic and…

Logic · Mathematics 2019-07-12 Stanislaw Ambroszkiewicz

The aim of the present article is to explore the possibilities of representing positive integers as sums of other positive integers and highlight certain fundamental connections between their multiplicative and additive properties. In…

General Mathematics · Mathematics 2008-06-30 Dimitris Sardelis

In a base phi representation a natural number is written as a sum of powers of the golden mean $\varphi$. There are many ways to do this. How many? Even if the number of powers of $\varphi$ is finite, then any number has infinitely many…

Number Theory · Mathematics 2023-04-25 Michel Dekking , Ad van Loon

We note that if a sequence of real numbers converges to some limit, then the sequence of the corresponding strings in the surreal $+,-$ sign expansion representation converges, for a natural notion of string convergence, to the string…

Logic · Mathematics 2017-03-17 Paolo Lipparini , István Mezö
‹ Prev 1 2 3 10 Next ›