Questions tagged [transcendence]
The transcendence tag has no usage guidance.
13
questions
63
votes
4
answers
15k
views
Proof that pi is transcendental that doesn't use the infinitude of primes
I just taught the classical impossible constructions for the first time, and in finding my class a reference for the transcendence of pi, I found a dearth of distinct proofs. In particular, those ...
- 1,501
32
votes
3
answers
7k
views
Work on independence of pi and e
It is an open problem to prove that $\pi$ and $e$ are algebraically independent over $\mathbb{Q}$.
What are some of the important results leading toward proving this?
What are the most promising ...
- 1,402
53
votes
2
answers
16k
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?
- 1,513
6
votes
1
answer
263
views
If $f,g \in D[x,y]$ are algebraically dependent over $D$, then $f,g \in D[h]$ for some $h\in D[x,y]$?
This question asks: If $f,g \in k[x,y]$ are two algebraically dependent polynomials over an arbitrary field $k$, is it true that there exists a polynomial $h \in k[x,y]$ such that $f,g \in k[h]$,
...
- 2,783
6
votes
1
answer
2k
views
$f,g \in \mathbb{Z}[x,y]$ satisfying: $\operatorname{Jac}(f,g)=0$ and $f,g \notin \mathbb{Z}[h]$ for every $h \in \mathbb{Z}[x,y]$?
Is it possible to find $f,g \in \mathbb{Z}[x,y]$ (with $\deg(f),\deg(g) \geq 1$) such that the following two conditions are satisfied:
(1) $\operatorname{Jac}(f,g)=f_xg_y-f_yg_x = 0$.
(2) ...
- 2,783
23
votes
6
answers
5k
views
Showing e is transcendental using its continued fraction expansion
Can the transcendence of e be shown using its continued fraction expansion e = [2;1,2,1,1,4,1,1,6,...]?
- 779
11
votes
2
answers
1k
views
Is this number already known to be transcendental? Is there a survey about up-to-date trascendence results?
Is the number $\sum_{n=1}^\infty \frac{1}{2^{n^2}}$ known to be transcendental?
Is there a survey with up-to-date transcendence results?
- 3,887
22
votes
3
answers
1k
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| \alpha-\frac{p}{q}\right|...
- 337
19
votes
4
answers
3k
views
Striking applications of Baker's theorem
I saw that there are many "applications" questions in Mathoverflow; so hopefully this is an appropriate question. I was rather surprised that there were only five questions at Mathoverflow so far with ...
- 7,272
5
votes
2
answers
2k
views
What was Lambert's solution to $x^m+x=q$?
I've been thinking about Lambert's Trinomial Equation quite a bit, and I want to see his solution. The only solution I could find was in Euler's form, and I still don't quite understand how he got ...
- 387
4
votes
1
answer
282
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," ...
- 25.4k
3
votes
0
answers
510
views
quasi periodic continued fractions and powers of e, tanh, tan
It is well known that some transcendental numbers like e.g. rational multiples of $e^{2/n}$ with $n\in\mathbb N $, when written as regular continued fractions (R.C.F.), yield what can be called a ...
- 13.2k
0
votes
3
answers
759
views
algebraic independence of exponential functions
Let $a_1,\ldots,a_n$ be $\mathbb Q$-linearly independant algebraic numbers. Are the functions $e^{az},\ldots,e^{a_nz}$ algebraically independent functions (over $\mathbb C(z)$ or $\mathbb Q(z)$)?
I ...
- 3,737