2
$\begingroup$

I just watched this video done by numberphile, and the video claimed that there exist certain numbers $\theta$ such that the floor function of $\theta^{3^n}$ is a prime for all natural $n$ . $\theta$ is approximately $1.306$ . Doctor Grime (the guy presenting this) said that the best way to approximate $\theta$ right now is to is to find a Mills prime (such as 2) and solve for $\theta$ . If we do this, we get $\theta=\sqrt [3] 2$ , However, in another part of the video Dr. Grime said that it is unknown if $\theta$ is rational or irrational. How is this? It is pretty easy to prove that $\sqrt[3] 2$ is irrational: If $p$ and $q$ are co-prime, and $\frac pq=\sqrt[3] 2$ , then $\frac {p \cdot p \cdot p}{q\cdot q\cdot q\cdot}=2$ , however, this is a contradiction because we said $p$ and $q$ are comprime. So why would doctor Grime say that it is unknown if $\theta$ is irrational or not? Thanks.

P.S. Please try to keep the answers at a lower level (calculus 1).

$\endgroup$
4
  • 6
    $\begingroup$ $\sqrt[3]{2}$ is an approximation to $\theta$. It is not equal to $\theta$. $\endgroup$ Jul 18, 2013 at 17:57
  • $\begingroup$ @ChrisEagle Oh yeah what a silly question, 2 is rounded down from the actual value of $\theta^{3^n}$ $\endgroup$
    – Ovi
    Jul 18, 2013 at 18:00
  • 3
    $\begingroup$ In case you and others might be interested, here is the 1-page 1947 paper by Mills. Also, this 2005 paper by Chris K. Caldwell may be of interest. $\endgroup$ Jul 18, 2013 at 18:05
  • $\begingroup$ Also of interest, the decimal expansion of $\theta$: oeis.org/A051021 and the relevant primes: oeis.org/A051254 $\endgroup$
    – Ali
    Jul 18, 2013 at 20:03

1 Answer 1

6
$\begingroup$

Mills allows a certain degree of choice in the precise number chosen at each step. So, in truth, there are infinitely many numbers $\theta$ that work, and you do not know what the number is until you have chosen an infinite sequence of primes. That is, the theorem of Mills is cute, existence of the function is very nice, but is not a predictive tool.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .