3 ms·

Here's a computable transcendental number for you: https://en.wikipedia.org/wiki/Liouville_number#The_existence_of_Liouville_numbers_(Liouville's_constant https

• mananaysiempre 4y ago
  Proving it’s transcendental still requires the bound I was talking about, which to my admittedly very ignorant eyes looks like it doesn’t lead to anything interesting outside number theory. This is unlike the undecidability of halting needed to construct a noncomputable number, or Cantor’s theorem used to show they exist; both are also quite simple conceptually, containing a grand total of one idea each and basically no computations. (The Lindemann–Weierstrass theorem you’d usually use for proving e or π is transcendental at least looks like interesting algebra.)