The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
1answer
418 views

On the irrationality measure of $\sum_{n=1}^\infty a^{-b^n}$

Pick integers $a, b \ge 2$ and let $\xi_{a,b}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n}$. It is known that $\xi_{2,2}$ is transcendental: I learned a proof of this from notes by M. ...
37
votes
2answers
1k views

Numbers that are generic w.r.t. exponentiation

This is a follow-up to my old question Number of distinct values taken by $x\hat{\phantom{\hat{}}}x\hat{\phantom{\hat{}}}\dots\hat{\phantom{\hat{}}}x$ with parentheses inserted in all possible ways. ...
17
votes
2answers
4k views

Why is it hard to prove that the Euler Mascheroni constant is irrational?

Philosophically why should proving that $\gamma$ is irrational (let alone transcendental) be so much harder than proving $\pi$ or $e$ are irrational?
14
votes
2answers
490 views

Numbers with known finite irrationality measure greater than 2

For a real number $\alpha$, let the irrationality measure $\mu(\alpha) \in \mathbb{R}\cup \{\infty\}$ be defined as the supremum of all real numbers $\mu$ such that $$ \left| ...
11
votes
2answers
512 views

For what real $t$ is $\{n^t : n \geq 1\}$ linearly independent over $\mathbb{Q}$?

It's straightforward that $t$ must be irrational. I have googled many variations of this question and browsed through some books on transcendental number theory. There is much that is said about when ...
11
votes
0answers
474 views

Connection between Infinite continued fractions and AGM

It is known that at $x=1$, the following continued fraction represents $\frac{4}{\pi}$ and can be approximated rapidly using Gauss' Arithmetic Geometric mean. $$C(x) = x + \frac{1^{2}}{2x + ...
7
votes
1answer
530 views

Is $e^p\in\mathbb{Q}_p$ known to be transcendental?

$\sum\limits_{n=0}^{\infty}\dfrac{1}{n!}$ doesn't converge in $\mathbb{Q}_p$, however, $e^p:=\sum\limits_{n=0}^{\infty}\dfrac{p^n}{n!}$ does converge for $p\neq 2$. So my question is, Are ...
5
votes
2answers
655 views

Conjecture on irrational algebraic numbers

Conjecture: For every irrational algebraic number $q$ and natural number $b$, the representation of $q$ on base $b$ contains all the digits $[0,\dots,b-1]$. Questions: Has this conjecture been ...
4
votes
1answer
175 views

Hermite Lindemann and transcendental reals

This is about compass and straightedge constructions, although I suspect nothing changes if we expand to real numbers algebraic over the rationals. Anyway, let $E$ be the "constructible numbers," ...
0
votes
0answers
126 views

Solution to system of polynomial equations

Suppose $A$ is a set of polynomials:$$P_1(x,y_1,\dots,y_n)=0,$$ $$P_2(x,y_1,\dots,y_n)=0,$$ $$\vdots$$ $$P_k(x,y_1,\dots,y_n)=0$$ is a system of equations with coefficients over $\mathbb{Z}$, and ...
0
votes
0answers
174 views

On the irrationality measure of generalized Stoneham numbers

Pick non-zero integers $a,b,c$ with $a,b \ge 2$ and let $\xi_{a,b,c}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n} c^{-n}$ (no restriction is made on the sign of $c$); when $b = c$ and ...