In the case of $\dfrac{1}{7^{800}}$ it's easy, to find the $2^{2020}$ decimal, but what about the simplest of the irrational numbers.

Question: Do we know how to determine the $2^{2020}$ decimal of $\sqrt{2}$?

  • 10
    $\begingroup$ @Qfwfq Newton-Rapson won't finish before the Sun explodes and won't have enough particles in the visible universe for the required memory storage, but otherwise it is fine. A legitimate answer should produce the required digit without computing all the preceding ones and that may be quite tricky since there is no obvious pattern in the digit sequence. I would say the answer is "no" but there is no proof of that either. $\endgroup$
    – fedja
    Feb 23, 2020 at 21:58
  • 11
    $\begingroup$ according to arXiv:0912.0303 no digit-extraction formula is known for $\sqrt 2$. $\endgroup$ Feb 23, 2020 at 22:11
  • 9
    $\begingroup$ This problem has nothing to do with arithmetic geometry. Arithmetic geometry is algebraic geometry over finite fields, local fields, global fields etc. $\endgroup$
    – GH from MO
    Feb 23, 2020 at 22:53
  • 20
    $\begingroup$ Not voting to reopen because the question seems hopeless, but, of course, the suggestion to send it to MSE (implied by the formal closing reason) is ridiculous. $\endgroup$
    – fedja
    Feb 24, 2020 at 0:27
  • 7
    $\begingroup$ @IgorKhavkine It’s a completely different algorithm. Basically, you compute the square root by partially summing a power series, but the hard part is to compute the relevant iterated additions and multiplications without storing all the terms (recomputing some of it when needed). The basic idea of the iterated multiplication algorithm is to do it modulo many small primes and then reconstruct it from the Chinese remainder representation, but there is more to it than that. See Hesse, Allender, and Barrington doi.org/10.1016/S0022-0000(02)00025-9 . $\endgroup$ Feb 24, 2020 at 7:59


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.