Related papers: At the End of Infinity
In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this…
We study the space of ends of groups. For a finitely generated group, this is a Cantor space as soon as it is infinite. In contrast, we show that for infinitely generated countable groups, it exhibits several behaviors. For instance, we…
We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…
We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…
A pattern is called universal in another collection of sets, when every set in the collection contains some linear and translated copy of the original pattern. Paul Erd\H{o}s proposed a conjecture that no infinite set is universal in the…
A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without…
As far as algebraic properties are concerned, the usual addition on the class of ordinal numbers is not really well behaved; for example, it is not commutative, nor left cancellative etc. In a few cases, the natural Hessemberg sum is a…
In 1996, Ricardo Ricardo Ma\~n\'e discovered that Mather measures are in fact the minimizers of a "universal" infinite dimensional linear programming problem. This fundamental result has many applications, one of the most important is to…
Although Bolzano's concept of the continuum has gradually evolved, the basis remained the same: the continuum as an infinite class of points arranged in such a way that the so-called \emph{Bolzano completeness} holds. Bolzano realized over…
This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…
The ternary Cantor set $C$, constructed by George Cantor in 1883, is probably the best-known example of a perfect nowhere-dense set in the real line, but as we will see later, it is not the only one. The present article will delve into the…
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindel\"of lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover…
The idea of the principle of nested intervals or the concept of convergent sequences which is equivalent to this idea dates back to the ancient world. Archimedes calculated the unknown in excess and deficiency, approximating with two sets…
A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor,…
It is commonly believed that the normalized gaps between consecutive ordinates $t_n$ of the zeros of the Riemann zeta function on the critical line can be arbitrarily large. In particular, drawing on analogies with random matrix theory, it…
We establish various new results on a problem proposed by K. Mahler in 1984 concerning rational approximation to fractal sets by rational numbers inside and outside the set in question, respectively. Some of them provide a natural…
During the early 1830's Bernard Bolzano, working in Prague, wrote a manuscript giving a foundational account of numbers and their properties. In the final section of his work he described what he called `infinite number expressions' and…
A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part is less than the whole' introduced by Ancient Greeks and applied to all…
The purpose of this project is to outline various philosophies on the metaphysics of mathematics that have been prominent since the time of Cantor, highlighting some biographical aspects that have influenced these ideas as well. The main…