The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
1answer
367 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. ...
38
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. ...
12
votes
2answers
3k 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?
11
votes
2answers
425 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| ...
6
votes
1answer
463 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
548 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
156 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
105 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
157 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 ...