If a property in $\mathbb{N}$ is true up to $10^{47}$ are there reasons to think it is probably true in all $\mathbb{N}$?

Question

You have probably heard at some point statements like that the twin prime conjecture (namely that $2$ is an infinitely ocurring prime gap) is "probably" or "almost certainly" true. Same goes for a number of other problems in number theory asserting properties that we believe are satisfied by all natural numbers. An argument that seems to give ground to such beliefs is the observation that said conjecture holds up to a certain large number.

My question would be if there some solid argument to think that a given conjecture is "probably" true, given that we know it is true up to some large number (as big as you wish but fixed).

The answer upfront seems to be no, and still the thought is so unavoidable I wonder if someone has thought of an argument to justify it.

EDIT: Do not take the question rigurously. I was looking for a broad take on this. Think for example of the case of the twin prime conjecture. Of course I know there are properties satisfied by numbers only above a given number (for example the property of being bigger than said number). Be imaginative. Tell me results or arguments that you think might relate. Tell me about conjectures where, while not knowing if they hold, this line of thought is somehow justified and why.

EDIT $2$: Case where this question would apply. Let's say we conjecture some property of the natural numbers. About the size of a possible minimum counterexample we are not able to find anything besides that it must be greater than $10^{47}$. At this point the thought might reach our minds that the conjecture is "probably" true. Now, is there any convincing argument that justifies this thought?

Answer 1

In some situations you can reasonably assign a "heuristic probability" to certain statements. See for example Terry Tao's blog post "The probabilistic heuristic justification of the ABC conjecture". If such heuristic calculations indicate that the probability of an example with $n \ge N$ is very small, and every $n < N$ has been checked without finding an example, you can take that as strong evidence that there is no such example.

On the other hand, there are cases such as the Wall-Sun-Sun primes. The heuristic calculations indicate that there should be infinitely many, but they should be very rare. Even though none has yet been found (for $n$ up to $2.8 \times 10^{16}$ at last report), I would not bet against the heuristic.

Answer 2

There is no real reason to thing this. For example, here is a property that is true for all numbers up to $10^{50}$:

All numbers up to $10^{50}$ are smaller than $10^{51}.$

Or, if you want something more fancy,

All composite numbers smaller than $10^{50}$ have a prime divisor that is smaller than $10^{25}$.

You can think of infinitely many properties that will be true "up to" any number, but that does in no way mean that they are true in general.

Answer 3

We can't, because even though $10^{47}$ is a large number by everyday standards, there are still infinity many integers for which the result isn't known. Or to put it another way, the ratio of the number of remaining integers to $10^{47}$ is infinitely large; thus the proportion of integers for which the proposition is proved true is zero.

Answer 4

No.

In fact, most positive integers are larger than $10^{47}$. An example of a property that is true for integers below $10^{47}$ but not true for integers larger than $10^{47}$ is being smaller than $10^{47}$.

A more apt but common example can be found in number theory. The number of primes up to $x$ is denoted by $\pi(x)$, and is commonly approximated by the logarithmic integral $$\text{Li}(x) = \int_2^x \frac{1}{\ln t}dt$$ Asymptotically, they are equal. It was believed for a long time that $\pi(n) < \text{Li}(n)$ for all $n$ (both Gauss and Riemann conjectured this). But it is not true. The first counterexample is thought to be somewhere around $10^{300}$.

Answer 5

Well, here's a relevant fact:

Let $P(n)$ be a statement such that there exists a Turing machine which will halt and return false exactly when $P(n)$ is false. There exists some $m$, depending on the "complexity" of the Turing machine, such that if $P$ is true from $1$ to $m$, then it is true for all $n$.

Now, this $m$ is basically a busy beaver number. The problem with this truth is threefold: firstly, $m$ is extraordinarily large (since lower bounds aren't hard to prove). Secondly, no given theory can put upper bounds on $m$ for complex enough Turing machines (since that would solve the halting problem). Lastly, not all statements $P$ are like this - for instance, it is not obvious how one could check whether, in the Collatz conjecture, a given $n$ eventually iterates to $1$. You can check whether it enters a cycle, but if it diverges, you can keep iterating forever and never know the ultimate fate of the number.

---

As is noted in Robert Israel's comments, we can make the same argument for statements $P$ in general; that is:

Let $P(n)$ be a statement. Then, depending on the "complexity" of it, if it is true for all $1$ to $m$ it is true for all $n$.

Where your notion "complexity" must have that only finitely many statements are of any given complexity (so, the number of characters needed to express it in some finite alphabet works). Then, each false statement $P$ has some minimum $m$ for which it is false. Taking the maximum of all these minimal $m$ over the set statements with counterexamples yields the above truth. However, the outlook here is even more bleak: this $m$ grows at least as fast as the last one. We couldn't prove (let alone compute) all upper bounds for $m$ before, so the situation now is even worse.

Answer 6

I think everyone's being way too pessimistic. If someone handed me a statement $P(n), n \in \mathbb{N}$ about natural numbers and then showed me that $P(1)$ was true, $P(2)$ was true, $P(3)$ was true, etc. I think for "typical" $P$ I would become convinced that $P(n)$ was true way before $n = 10^{47}$. I mean, I've never seen $10^{47}$ pieces of evidence for anything I believe. I've only seen the sun rise about $10^4$ times and I totally believe that rising is a thing that the sun will keep doing.

Here's something I have in mind for a "typical" example. Letting $F_n$ denote the $n^{th}$ Fibonacci number (with $F_0 = 0, F_1 = 1$), we have

$$F_{n+1} F_{n-1} - F_n^2 = (-1)^n.$$

Or, well, maybe we don't. You might not know how to prove this, but you can verify it for as many values of $n$ as you like. How many values of $n$ do you think it would take before you'd be willing to bet that this is true with probability, say, 99%? I think for me I'd be convinced after something like $10$ examples, let alone $10^{47}$.

Of course there's an important difference between believing that something is probably true and having a proof of it, but there's a reason mathematicians talk about conjectures and not just about theorems: it's frequently possible to become convinced that a mathematical statement is true without being able to prove it, seeing it be true in a lot of examples is an obvious way this could happen, and mathematicians do this kind of reasoning all the time.

Answer 7

$10^{10^{47}}$ have all digits at zero starting from unity up to the $10^{47th}$. Still, I advice you to verify one more step ;-)

Answer 8

What should "probably true" mean? In order to exclude the trivial counterexamples a la $\forall n\colon n<10^{47}$, let us consider statements that have remained an open problem for a "significant time" (actually, zero seconds would be significant enough for those contrived counterexamples) and that were tested for a large range of numbers before an accepted proof (or disproof) emerged. Someone who observes that $P(n)$ holds for all $n$ they test may scratch their head look more intensely for the proof (or disproof) before publishing the numerical observation - and be it to avoid a facepalm experience. Such results cannot be counted because we can hardly tell after the fact if and how far the author had tested small cases (though typically way less than $10^{47}$).

So to obtain an estimate how likely a statement that is true for all $n<10^{47}$ is really true, we might summarize all historical cases of comparable nature:

• What statements do we know that have been settled by now and that had significantly before that been tested up to a certain limit without finding a counterexample?
• What percentage of these results were ultimately proven true/false/independent?

Unfortunately, I guess that we would almost only come up with few well-known cases:

• a negative case is "$\pi(n)<\operatorname{Li}(n)$" as mentioned elsewhere
• a positive case is Bertrand's postulate: it was tested up to $n=3000000$ by Bertrand before Chebyshev found a proof

Based on only these two data points our desired probability would be estimated to $\frac12$, thus not very encouraging. Any volunteers to solve Goldbach's conjecture to change the estimate to $\frac 23$ (or - heaven forbid - to $\frac13$)?