1
$\begingroup$

Skewes has proved (without assuming RH) that $\pi(x)<Li(x)$ is violated below $e^{e^{e^{e^{7.705}}}}$ which is clearly a very large number.I was wondering if somewhere else some greater number than Skewes's can be found.

Question :Is there any published proof in number theory breaking this "large number" record?

$\endgroup$
3
  • $\begingroup$ I'm guessing you don't consider the upper bounds for the van der Waerden numbers as "number theory". The expression for Skewes' number reminded me of the current known upper bounds for those. $\endgroup$
    – Burak
    Mar 9, 2015 at 17:35
  • 1
    $\begingroup$ This seems close to the "eventual counterexamples" question: mathoverflow.net/questions/15444/… $\endgroup$ Mar 9, 2015 at 18:33
  • $\begingroup$ I do not get why the downvote.There is some similar question in MO but not the same.I ask for a new "record". $\endgroup$ Mar 9, 2015 at 20:28

2 Answers 2

11
$\begingroup$

The quantitative version of the Green--Tao theorem says there is an arithemtic progression of length $k$ in the prime numbers below $$2^{2^{2^{2^{2^{2^{2^{100k}}}}}}}$$ [These are seven 2s, or in non-rendered form for readability 2^2^2^2^2^2^2^(100k)]

$\endgroup$
5
  • 2
    $\begingroup$ This is close in spirit to the van der Waerden numbers mentioned in a comment by Burak but perhaps a bit more number theoretic. $\endgroup$
    – user9072
    Mar 9, 2015 at 20:12
  • $\begingroup$ I guess the size of this bound comes from the ineffective nature of Szemerédi's lemma? $\endgroup$
    – David Roberts
    Mar 10, 2015 at 2:02
  • $\begingroup$ Another way of writing it would be $(2\uparrow \uparrow 7)^{100k}$ $\endgroup$
    – fhyve
    Mar 10, 2015 at 2:17
  • $\begingroup$ fhyve, the number you've written looks to be (2^2^2^2^2^2^2)^(100k), which is rather smaller in general. $\endgroup$ Mar 10, 2015 at 8:28
  • $\begingroup$ @DavidRoberts if you mean Szemerédi regularity lemma that would yield still something worse. The argument there is rather along the lines of Gowers's argument for Szemerédi's theorem that avoids this type of argument and thus gets better bounds. At least I think it is like this, I might be wrong though. $\endgroup$
    – user9072
    Mar 11, 2015 at 0:59
-3
$\begingroup$

I know that Grahams Numebr used to be biggest one http://en.wikipedia.org/wiki/Graham's_number

Even power towers of the form \scriptstyle a ^{ b ^{ c ^{ \cdot ^{ \cdot ^{ \cdot}}}}} are insufficient for this purpose

-

Graham's number is much larger than many other large numbers such as a googol, googolplex, Skewes' number and Moser's number.

Similiar question can be found at math https://math.stackexchange.com/questions/2497/what-is-the-biggest-number-ever-used-in-a-mathematical-proof

$\endgroup$
1
  • 3
    $\begingroup$ In case it’s not clear why this answer is getting down-voted: the question specifically asks for large numbers coming from work in number theory. Graham’s Number arose from work in combinatorics, not number theory. $\endgroup$ Mar 10, 2015 at 1:56

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.