Preferences

Don't want to be "that guy," but Euler's constant and Catalan's constant aren't proven to be transcendental yet.

For context, a number is transcendental if it's not the root of any non-zero polynomial with rational coefficients. Essentially, it means the number cannot be constructed using a finite combination of integers and standard algebraic operations (addition, subtraction, multiplication, division, and integer roots). sqrt(2) is irrational but algebraic (it solves x^2 - 2 = 0); pi is transcendental.

The reason we haven't been able to prove this for constants like Euler-Mascheroni (gamma) is that we currently lack the tools to even prove they are irrational. With numbers like e or pi, we found infinite series or continued fraction representations that allowed us to prove they cannot be expressed as a ratio of two integers.

With gamma, we have no such "hook." It appears in many places (harmonics, gamma function derivatives), but we haven't found a relationship that forces a contradiction if we assume it is algebraic. For all we know right now, gamma could technically be a rational fraction with a denominator larger than the number of atoms in the universe, though most mathematicians would bet the house against it.


Both Euler's and Catalan's list "(Not proven to be transcendental, but generally believed to be by mathematicians.)". Maybe updated after your comment?
> Essentially, it means the number cannot be constructed using a finite combination of integers and standard algebraic operations (addition, subtraction, multiplication, division, and integer roots)

Slight clarification, but standard operations are not sufficient to construct all algebraic numbers. Once you get to 5th degree polynomials, there is no guarantee that their roots can be found through standard operations.

I am no mathematician, but i think you may be overstating Galois result. it says that you cant write a single closed form expression for the roots of any quintic using only (+,-,*,/,nth roots). This does not necessarily stop you from expressing each root individually with the standard algebraic operations.
I think you are thinking of the Abel–Ruffini impossibility theorum, which states that there is no general solution to polynomials of degree 5 or greater using only standard operations and radicals.

Galois went a step further and proved that there existed polynomials whose specific roots could not be so expressed. His proof also provided a relatively straightforward way to determine if a given polynomial qualified.

Thanks for the correction. It seems that all the layman’s explanations on Galois theory i have seen have been simplified to the point of being technically wrong, as well as underselling it.
Technically, the actual statement in Galois theory is even more general. Roughly, it says that, for a given polynomial over a field, if there exists an algorithm that computes the roots of this polynomial, using only addition, subtraction, multiplication, division and radicals, then a particular algebraic structure associated with this polynomial, called its Galois group, has to have a very regular structure.

So it's a bit stronger than the term "closed formula" implies. You can then show explicit examples of degree 5 polynomials which don't fulfill this condition, prove a quantitative statement that "almost all" degree 5 polynomials are like this, explain the difference between degree 4 and 5 in terms of group theory, etc.

I'm glad that someone decided to be "that guy". Putting the Euler-Mascheroni constant third the list was a very questionable choice.

This item has no comments currently.

Keyboard Shortcuts

Story Lists

j
Next story
k
Previous story
Shift+j
Last story
Shift+k
First story
o Enter
Go to story URL
c
Go to comments
u
Go to author

Navigation

Shift+t
Go to top stories
Shift+n
Go to new stories
Shift+b
Go to best stories
Shift+a
Go to Ask HN
Shift+s
Go to Show HN

Miscellaneous

?
Show this modal