logoalt Hacker News

cpercivayesterday at 11:42 PM1 replyview on HN

In the same vein, algebraic irrationals (e.g., √2) all have an irrationality measure of two, but the proof of this is fiendishly difficult and netted its discoverer the Fields Medal back in 1958.

It's worth noting that this is a standard method of proving that a value is transcendental -- just show that it has better rational approximations than any algebraic number can have.


Replies

gjm11today at 12:04 AM

It's a standard way of proving that transcendental numbers exist, because it's easy to construct very well-approximable numbers, but so far as I know it isn't a common way to prove that a number you were already interested in is transcendental. For pretty much every number you might be interested in, the best-known lower bound on that exponent is 2, which of course isn't good enough to prove transcendence.

At least, that's my understanding of where things stand, but I'm not an expert. Do you have counterexamples?

show 1 reply