The Predicate of the Current Mathematical Knowledge Substantially Increases the Constructive and Informal Mathematics and Why It Cannot Be Adapted to Any Empirical Science

1. Introduction and Why Such Title of the Article

This article is a continuation of [16]–18]. The main mathematical results of this article were presented at the 25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, see http://applications-of-logic.uni.wroc.pl/XXV-Konferencja-Zastosowania-Logiki-w-Filozofii-i-Podstawach-Matematyki. We assume that the current mathematical knowledge $\mathcal{K}$ is a finite set of statements in the public domain which is time-dependent. This set exists only theoretically. Ignoring $\mathcal{K}$ and its subsets, sets exist formally in $ZFC$ theory although their properties can be time-dependent (when they depend on $\mathcal{K}$) or informal. In every branch of mathematics, the set of all knowable truths is the set of all theorems. This set exists independently of $\mathcal{K}$. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in $ZFC$ and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivial statements on decidable sets $\mathcal{X}\subseteq \mathbb{N}$ that belong to constructive and informal mathematics and refer to the current mathematical knowledge on $\mathcal{X}$. This and the next sentence justify the article title. For any empirical science, we can identify the current knowledge with that science because truths from the empirical sciences are not necessary truths but working models of truth from a particular context, see [19, p. 610].

2. Summary of the Main Mathematical Results

For a set $\mathcal{X}\subseteq \mathbb{N}$ whose infiniteness is false or unproven, we define which elements of $\mathcal{X}$ are classified as known. No known set $\mathcal{X}\subseteq \mathbb{N}$ satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning.

(1) A known algorithm with no input returns an integer n satisfying $\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow$$\mathcal{X}\subseteq (-\infty ,n]$.

(2) A known algorithm for every $k\in \mathbb{N}$ decides whether or not $k\in \mathcal{X}$.

(3) No known algorithm with no input returns the logical value of the statement $\mathrm{card}\left(\mathcal{X}\right)=\omega$.

(4) There are many elements of $\mathcal{X}$ and it is conjectured, though so far unproven, that $\mathcal{X}$ is infinite.

(5)$\mathcal{X}$ is naturally defined. The infiniteness of $\mathcal{X}$ is false or unproven. $\mathcal{X}$ has the simplest definition among known sets $\mathcal{Y}\subseteq \mathbb{N}$ with the same set of known elements.

We prove that the set

$$\mathcal{X}=\{n\in \mathbb{N}:theinterval[-1,n]containsmorethan$$

$$\frac{11!}{3n+1}·sin\left(n\right)primesoftheformk!+1\}$$

satisfies Conditions (1)-(5) except the requirement that $\mathcal{X}$ is naturally defined. If we add to $\mathcal{X}$ some set $\mathcal{W}$ satisfying $14⩽\mathrm{card}\left(\mathcal{W}\right)⩽23$, then the following statements hold:

$\mathcal{X}$ does not satisfy Condition (1),

$159827+14⩽\mathrm{card}\left(\mathcal{X}\right)$,

the above lower bound is currently the best known,

$\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow \mathrm{card}\left(\mathcal{X}\right)⩽159827+23$,

the above upper bound is currently the best known,

$\mathcal{X}$ satisfies Conditions (2)-(5) except the requirement that $\mathcal{X}$ is naturally defined.

We present a table that shows satisfiable conjunctions of the form

$$\#(\mathrm{Condition}\mathtt{1})\wedge (\mathrm{Condition}\mathtt{2})\wedge \#(\mathrm{Condition}\mathtt{3})\wedge (\mathrm{Condition}\mathtt{4})\wedge \#(\mathrm{Condition}\mathtt{5})$$

where # denotes the negation ¬ or the absence of any symbol.

3. Basic Definitions and Examples

Algorithms always terminate. Semi-algorithms may not terminate. There is the distinction between existing algorithms (i.e. algorithms whose existence is provable in $ZFC$) and known algorithms (i.e. algorithms whose definition is constructive and currently known), see [2], [10], [12, p. 9]. A definition of an integer n is called constructive, if it provides a known algorithm with no input that returns n. Definition 1 applies to sets $\mathcal{X}\subseteq \mathbb{N}$ whose infiniteness is false or unproven.

Definition 1. 

We say that a non-negative integer k is a known element of $\mathcal{X}$, if $k\in \mathcal{X}$ and we know an algebraic expression that defines k and consists of the following signs: 1 (one), + (addition), − (subtraction), · (multiplication), ^ (exponentiation with exponent in $\mathbb{N}$), ! (factorial of a non-negative integer), ( (left parenthesis), ) (right parenthesis).

The set of known elements of $\mathcal{X}$ is finite and time-dependent, so cannot be defined in the formal language of classical mathematics. Let t denote the largest twin prime that is smaller than ((((((((9!)!)!)!)!)!)!)!)!. The number t is an unknown element of the set of twin primes.

Definition 2. 

Conditions(1)-(5)concern sets $\mathcal{X}\subseteq \mathbb{N}$.

(1)A known algorithm with no input returns an integer n satisfying $\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow$$\mathcal{X}\subseteq (-\infty ,n]$.

(2)A known algorithm for every $k\in \mathbb{N}$ decides whether or not $k\in \mathcal{X}$.

(3)No known algorithm with no input returns the logical value of the statement $\mathrm{card}\left(\mathcal{X}\right)=\omega$.

(4)There are many elements of $\mathcal{X}$ and it is conjectured, though so far unproven, that $\mathcal{X}$ is infinite.

(5)$\mathcal{X}$ is naturally defined. The infiniteness of $\mathcal{X}$ is false or unproven. $\mathcal{X}$ has the simplest definition among known sets $\mathcal{Y}\subseteq \mathbb{N}$ with the same set of known elements.

Condition (3) implies that no known proof shows the finiteness/infiniteness of $\mathcal{X}$. No known set $\mathcal{X}\subseteq \mathbb{N}$ satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning.

Let $[·]$ denote the integer part function.

Example 1. 

The set $\mathcal{X}=\left\{\begin{array}{cc}\mathbb{N},& \mathrm{if}\left[\frac{\left(\right(\left(\right(\left(\right(\left(\right(9!)!)!)!)!)!)!)!)!}{\pi }\right]isodd\hfill \\ \varnothing ,& otherwise\hfill \end{array}\right.$ does not satisfy Condition (3)because we know an algorithm with no input that computes $\left[\frac{\left(\right(\left(\right(\left(\right(\left(\right(9!)!)!)!)!)!)!)!)!}{\pi }\right]$. The set of known elements of $\mathcal{X}$ is empty. Hence, Condition(5)fails for $\mathcal{X}$.

Example 2.([2], [10], [12]). The function

$$\mathbb{N}\ni n\stackrel{h}{⟶}\left\{\begin{array}{cc}\hfill 1,& ifthedecimalexpansionof\pi containsnconsecutivezeros\hfill \\ \hfill 0,& otherwise\hfill \end{array}\right.$$

is computable because $h=\mathbb{N}\times \left\{1\right\}$ or there exists $k\in \mathbb{N}$ such that

$$h=\left(\right\{0,\dots ,k\}\times \{1\left\}\right)\cup \left(\right\{k+1,k+2,k+3,\dots \}\times \{0\left\}\right)$$

No known algorithm computes the function h.

Example 3. 

The set

$$\mathcal{X}=\left\{\begin{array}{cc}\hfill \mathbb{N},& ifthecontinuumhypothesisholds\hfill \\ \hfill \varnothing ,& otherwise\hfill \end{array}\right.$$

is decidable. This $\mathcal{X}$ satisfies Conditions(1)and(3)and does not satisfy Conditions(2),(4), and(5). These facts will hold forever.

4. Number-theoretic results

Edmund Landau’s conjecture states that the set ${\mathcal{P}}_{n^2+1}$ of primes of the form $n^2+1$ is infinite, see [14,15,21].

Statement 1. 

Condition (1)remains unproven for $\mathcal{X}={\mathcal{P}}_{n^2+1}$.

Proof. 

For every set $\mathcal{X}\subseteq \mathbb{N}$, there exists an algorithm $\mathtt{Alg}\left(\mathcal{X}\right)$ with no input that returns

$$n=\left\{\begin{array}{cc}\hfill 0,& \mathrm{if}\mathrm{card}\left(\mathcal{X}\right)\in \{0,\omega \}\hfill \\ \hfill max\left(\mathcal{X}\right),& \mathrm{otherwise}\hfill \end{array}\right.$$

This n satisfies the implication in Condition (1), but the algorithm $\mathtt{Alg}\left({\mathcal{P}}_{n^2+1}\right)$ is unknown because its definition is ineffective.    □

Statement 2. 

The statement

$$\exists n\in \mathbb{N}(\mathrm{card}\left({\mathcal{P}}_{n^2+1}\right)<\omega \Rightarrow {\mathcal{P}}_{n^2+1}\subseteq [2,n+3])$$

remains unproven in $ZFC$ and classical logic without the law of excluded middle.

Let $f\left(1\right)={10}^6$, and let $f(n+1)=f{\left(n\right)}^{f\left(n\right)}$ for every positive integer n.

Statement 3. 

The set

$$\mathcal{X}=\{k\in \mathbb{N}:({10}^6<k)\Rightarrow (f\left({10}^6\right),f\left(k\right))\cap {\mathcal{P}}_{n^2+1}\ne \varnothing \}$$

satisfies Conditions(1)-(4). Condition(5)fails for $\mathcal{X}$.

Proof. 

Condition (4) holds as $\mathcal{X}\supseteq \{0,\dots ,{10}^6\}$ and the set ${\mathcal{P}}_{n^2+1}$ is conjecturally infinite. Due to known physics we are not able to confirm by a direct computation that some element of ${\mathcal{P}}_{n^2+1}$ is greater than $f\left({10}^6\right)$, see [7]. Thus Condition (3) holds. Condition (2) holds trivially. Since the set

$$\{k\in \mathbb{N}:({10}^6<k)\wedge (f\left({10}^6\right),f\left(k\right))\cap {\mathcal{P}}_{n^2+1}\ne \varnothing \}$$

is empty or infinite, Condition (1) holds with $n={10}^6$. Condition (5) fails as the set of known elements of $\mathcal{X}$ equals $\{0,\dots ,{10}^6\}$.    □

Statements 4 and 7 provide stronger examples.

Conjecture 1.([1,4], p. 443). The are infinitely many primes of the form $k!+1$.

For a non-negative integer n, let $\rho \left(n\right)$ denote $29.5+\frac{11!}{3n+1}·sin\left(n\right)$.

Statement 4. 

The set

$$\mathcal{X}=\{n\in \mathbb{N}:theinterval[-1,n\left]containsmorethan\rho \right(n)primesoftheformk!+1\}$$

satisfies Conditions (1)-(5)except the requirement that $\mathcal{X}$ is naturally defined. $501893\in \mathcal{X}$. Condition (1)holds with $n=501893$. $\mathrm{card}(\mathcal{X}\cap [0,501893\left]\right)=159827$. $\mathcal{X}\cap [501894,\infty )=$$\{n\in \mathbb{N}:$$the$$interval$$[-1,n]$ $contains$$at$$least$ 30 $primes$$of$$the$$form$$k!+1\}$.

Proof. 

For every integer $n⩾11!$, 30 is the smallest integer greater than $\rho \left(n\right)$. By this, if $n\in \mathcal{X}\cap [11!,\infty )$, then $n+1,n+2,n+3,\dots \in \mathcal{X}$. Hence, Condition (1) holds with $n=11!-1$. We explicitly know 24 positive integers k such that $k!+1$ is prime, see [3]. The inequality $\mathrm{card}\left(\right\{k\in \mathbb{N}\setminus \left\{0\right\}:k!+1isprime\left\}\right)>24$ remains unproven. Since $24<30$, Condition (3) holds. The interval $[-1,11!-1]$ contains exactly three primes of the form $k!+1$: $1!+1$, $2!+1$, $3!+1$. For every integer $n>503000$, the inequality $\rho \left(n\right)>3$ holds. Therefore, the execution of the following MuPAD code

m:=0:

for n from 0.0 to 503000.0 do

if n<1!+1 then r:=0 end_if:

if n>=1!+1 and n<2!+1 then r:=1 end_if:

if n>=2!+1 and n<3!+1 then r:=2 end_if:

if n>=3!+1 then r:=3 end_if:

if r>29.5+(11!/(3*n+1))*sin(n) then

m:=m+1:

print([n,m]):

end_if:

end_for:

displays the all known elements of $\mathcal{X}$. The output ends with the line $[501893.0,159827]$, which proves Condition (1) with $n=501893$ and Condition (4) with $\mathrm{card}\left(\mathcal{X}\right)⩾159827$.    □

T. Nagell proved in [8] (cf. [13, p. 104]) that the equation $x^2-17=y^3$ has exactly 16 integer solutions, namely $(\pm 3,-2)$, $(\pm 4,-1)$, $(\pm 5,2)$, $(\pm 9,4)$, $(\pm 23,8)$, $(\pm 282,43)$, $(\pm 375,52)$, $(\pm 378661,5234)$. The set

$$\bigcup _{\stackrel{(x,y)\in \mathbb{Z}\times \mathbb{Z}}{(x^2-y^3-17)·(y^2-x^3-17)=0}}\left\{{(x+8)}^8\right\}$$

has exactly 23 elements. Among them, there are 14 integers from the interval $[1,2199894223892]$. Let $\mathcal{W}$ denote the set

$$\bigcup _{\stackrel{(x,y)\in \mathbb{Z}\times \mathbb{Z}}{(x^2-y^3-17)·(y^2-x^3-17)=0}}\{k\in \mathbb{N}:kisthe{(x+8)}^8-thelementof{\mathcal{P}}_{n^2+1}\}$$

From [15], it is known that $\mathrm{card}({\mathcal{P}}_{n^2+1}\cap [2,{10}^{28}))=2199894223892$. Hence, $\mathrm{card}(\mathcal{W}\cap [2,{10}^{28}))=14$ and 14 elements of $\mathcal{W}$ can be practically computed. The inequality $\mathrm{card}\left(\mathcal{P}(n^2+1)\right)⩾{(378661+8)}^8$ remains unproven. The last two sentences and Statement 4 imply the following corollary.

Corollary 1. 

If we add $\mathcal{W}$ to $\mathcal{X}$, then the following statements hold:

$\mathcal{X}$ does not satisfy Condition (1),

$159827+14⩽\mathrm{card}\left(\mathcal{X}\right)$,

the above lower bound is currently the best known,

$\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow \mathrm{card}\left(\mathcal{X}\right)⩽159827+23$,

the above upper bound is currently the best known,

$\mathcal{X}$ satisfies Conditions (2)-(5)except the requirement that $\mathcal{X}$ is naturally defined.

Definition 3. 

Conditions(1a)-(5a)concern sets $\mathcal{X}\subseteq \mathbb{N}$.

(1a)A known algorithm with no input returns a positive integer n satisfying $\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow$$\mathcal{X}\subseteq (-\infty ,n]$.

(2a)A known algorithm for every $k\in \mathbb{N}$ decides whether or not $k\in \mathcal{X}$.

(3a)No known algorithm with no input returns the logical value of the statement $\mathrm{card}\left(\mathcal{X}\right)<\omega$.

(4a)There are many elements of $\mathcal{X}$ and it is conjectured, though so far unproven, that $\mathcal{X}$ is finite.

(5a)$\mathcal{X}$ is naturally defined. The finiteness of $\mathcal{X}$ is false or unproven. $\mathcal{X}$ has the simplest definition among known sets $\mathcal{Y}\subseteq \mathbb{N}$ with the same set of known elements.

Statement 5. 

The set

$$\mathcal{X}=\{n\in \mathbb{N}:theinterval[-1,n]containsmorethan$$

$$6.5+\frac{{10}^6}{3n+1}·sin\left(n\right)squaresoftheformk!+1\}$$

satisfies Conditions (1a)-(5a)except the requirement that $\mathcal{X}$ is naturally defined. $95151\in \mathcal{X}$. Condition (1a)holds with $n=95151$. $\mathrm{card}(\mathcal{X}\cap [0,95151\left]\right)=30311$. $\mathcal{X}\cap [95152,\infty )=$$\{n\in \mathbb{N}:$$the$$interval$$[-1,n]$ $contains$$at$$least$ 7 $squares$$of$$the$$form$$k!+1\}$.

Proof. 

For every integer $n>{10}^6$, 7 is the smallest integer greater than $6.5+\frac{{10}^6}{3n+1}·sin\left(n\right)$. By this, if $n\in \mathcal{X}\cap ({10}^6,\infty )$, then $n+1,n+2,n+3,\dots \in \mathcal{X}$. Hence, Condition (1a) holds with $n={10}^6$. It is conjectured that $k!+1$ is a square only for $k\in \{4,5,7\}$, see [20, p. 297]. Hence, the inequality $\mathrm{card}\left(\right\{k\in \mathbb{N}\setminus \left\{0\right\}:k!+1isasquare\left\}\right)>3$ remains unproven. Since $3<7$, Condition (3a) holds. The interval $[-1,{10}^6]$ contains exactly three squares of the form $k!+1$: $4!+1$, $5!+1$, $7!+1$. Therefore, the execution of the following MuPAD code

m:=0:

for n from 0.0 to 1000000.0 do

if n<25 then r:=0 end_if:

if n>=25 and n<121 then r:=1 end_if:

if n>=121 and n<5041 then r:=2 end_if:

if n>=5041 then r:=3 end_if:

if r>6.5+(1000000/(3*n+1))*sin(n) then

m:=m+1:

print([n,m]):

end_if:

end_for:

displays the all known elements of $\mathcal{X}$. The output ends with the line $[95151.0,30311]$, which proves Condition (1a) with $n=95151$ and Condition (4a) with $\mathrm{card}\left(\mathcal{X}\right)⩾30311$.    □

Statement 6. 

The set

$$\mathcal{X}=\{k\in \mathbb{N}:\mathrm{card}([-1,k]\cap {\mathcal{P}}_{n^2+1})<{10}^{10000}\}$$

satisfies the conjunction

$$\neg \left(Condition\mathtt{1}\mathtt{a}\right)\wedge \left(Condition\mathtt{2}\mathtt{a}\right)\wedge \left(Condition\mathtt{3}\mathtt{a}\right)\wedge \left(Condition\mathtt{4}\mathtt{a}\right)\wedge \left(Condition\mathtt{5}\mathtt{a}\right)$$

To formulate Statement 7 and its proof, we need some lemmas. For a non-negative integer n, let $\theta \left(n\right)$ denote the largest integer divisor of ${10}^{{10}^{10}}$ smaller than n. For a non-negative integer n, let ${\theta }_1\left(n\right)$ denote the largest integer divisor of ${10}^{10}$ smaller than n.

Lemma 1. 

For every integer $j>{10}^{{10}^{10}}$, $\theta \left(j\right)={10}^{{10}^{10}}$. For every integer $j>{10}^{10}$, ${\theta }_1\left(j\right)={10}^{10}$.

Lemma 2. 

For every integer $j\in (6553600,7812500]$, $\theta \left(j\right)=6553600$.

Proof. 

6553600 equals $2^{18}·5^2$ and divides ${10}^{{10}^{10}}$. $7812500<2^{24}$. $7812500<5^{10}$. We need to prove that every integer $j\in (6553600,7812500)$ does not divide ${10}^{{10}^{10}}$. It holds as the set

$$\left\{2^u·5^v:(u\in \{0,\dots ,23\})\wedge (v\in \{0,\dots ,9\})\right\}$$

contains 6553600 and 7812500 as consecutive elements.    □

Lemma 3. 

The number ${6553600}^2+1$ is prime.

Proof. 

The following PARI/GP ([9]) command

isprime(6553600^2+1,{flag=2})

returns 1. This command performs the APRCL primality test, the best deterministic primality test algorithm ([22], p. 226). It rigorously shows that the number ${6553600}^2+1$ is prime.    □

In the next lemmas, the execution of the command isprime(n,{flag=2}) proves the primality of n. Let $\kappa$ denote the function

$$\mathbb{N}\ni n\stackrel{\kappa }{⟶}theexponentof2intheprimefactorizationof\underbrace{n+1}\in \mathbb{N}$$

Lemma 4. 

The set ${\mathcal{X}}_1=\{n\in \mathbb{N}:{({\theta }_1\left(n\right)+\kappa \left(n\right))}^2+1isprime\}$ is infinite.

Proof. 

Let $i=142101504$. By the inequality $2^i⩾2+{10}^{10}$ and Lemma 1, for every non-negative integer m, the number

$${\left({\theta }_1\left(2^i·(2m+1)-1\right)+\kappa \left(2^i·(2m+1)-1\right)\right)}^2+1={\left({10}^{10}+i\right)}^2+1$$

is prime.    □

Before Open Problem 1, $\mathcal{X}$ denotes the set $\{n\in \mathbb{N}:{(\theta \left(n\right)+\kappa \left(n\right))}^2+1isprime\}$.

Lemma 5. 

For every $n\in \mathcal{X}\cap \left({10}^{{10}^{10}},\infty \right)$ and for every non-negative integer j, $3^j·(n+1)-1\in \mathcal{X}\cap \left({10}^{{10}^{10}},\infty \right)$.

Proof. 

By the inequality $3^j·(n+1)-1⩾n$ and Lemma 1,

$$\theta \left(3^j·(n+1)-1\right)+\kappa \left(3^j·(n+1)-1\right)={10}^{{10}^{10}}+\kappa \left(n\right)=\theta \left(n\right)+\kappa \left(n\right)$$

   □

Lemma 6. 

$\mathrm{card}\left(\mathcal{X}\right)⩾629450$.

Proof. 

By Lemmas 2 and 3, for every even integer $j\in (6553600,7812500]$, the number ${(\theta \left(j\right)+\kappa \left(j\right))}^2+1={(6553600+0)}^2+1$ is prime. Hence,

$$\{2k:k\in \mathbb{N}\}\cap (6553600,7812500]\subseteq \mathcal{X}$$

Consequently,

$$\mathrm{card}\left(\mathcal{X}\right)⩾\mathrm{card}(\{2k:k\in \mathbb{N}\}\cap (6553600,7812500])=\frac{7812500-6553600}{2}=629450$$

   □

Lemma 7. 

$10242\in \mathcal{X}$ and $10242\notin {\mathcal{X}}_1$.

Proof. 

The number $10240=2^{11}·5$ divides ${10}^{{10}^{10}}$. Hence, $\theta \left(10242\right)=10240$. The number ${(\theta \left(10242\right)+\kappa \left(10242\right))}^2+1={(10240+0)}^2+1$ is prime. The set

$$\left\{2^u·5^v:(u\in \{0,\dots ,10\})\wedge (v\in \{0,\dots ,10\})\right\}$$

contains 10000 and 12500 as consecutive elements. Hence, ${\theta }_1\left(10242\right)=10000$. The number ${({\theta }_1\left(10242\right)+\kappa \left(10242\right))}^2+1={(10000+0)}^2+1=17·5882353$ is composite.    □

Statement 7. 

The set $\mathcal{X}$ satisfies Conditions (1)-(5)except the requirement that $\mathcal{X}$ is naturally defined.

Proof. 

Condition (2) holds trivially. Let $\delta$ denote ${10}^{{10}^{10}}$. By Lemma 5, Condition (1) holds for $n=\delta$. Lemma 5 and the unproven statement ${\mathcal{P}}_{n^2+1}\cap \left[{\delta }^2+1,\infty \right)\ne \varnothing$ show Condition (3). The same argument and Lemma 6 yield Condition (4). By Lemma 4, the set ${\mathcal{X}}_1$ is infinite. Since Definition 1 applies to sets $\mathcal{X}\subseteq \mathbb{N}$ whose infiniteness is false or unproven, Condition (5) holds except the requirement that $\mathcal{X}$ is naturally defined.    □

The set $\mathcal{X}$ satisfies Condition (5) except the requirement that $\mathcal{X}$ is naturally defined. It is true because ${\mathcal{X}}_1$ is infinite by Lemma 4 and Definition 1 applies only to sets $\mathcal{X}\subseteq \mathbb{N}$ whose infiniteness is false or unproven. Ignoring this restriction, $\mathcal{X}$ still satisfies the same identical condition due to Lemma 7.

Proposition 1. 

No set $\mathcal{X}\subseteq \mathbb{N}$ will satisfy Conditions(1)-(4)forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less.

Proof. 

The proof goes by contradiction. We fix an integer n that satisfies Condition (1). Since Conditions (1)-(3) will hold forever, the semi-algorithm in Figure 1 never terminates and sequentially prints the following sentences:

$$\left(\mathtt{T}\right)n+1\notin \mathcal{X},n+2\notin \mathcal{X},n+3\notin \mathcal{X},\dots$$

(1)

The sentences from the sequence (T) and our assumption imply that for every integer $m>n$ computed by a known algorithm, at some future day, a computer will be able to confirm in 1 second or less that $(n,m]\cap \mathcal{X}=\varnothing$. Thus, at some future day, numerical evidence will support the conjecture that the set $\mathcal{X}$ is finite, contrary to the conjecture in Condition (4).    □

The physical limits of computation ([7]) disprove the assumption of Proposition 1.

Open Problem 1.Is there a set $\mathcal{X}\subseteq \mathbb{N}$ which satisfies Conditions(1)-(5)?

Open Problem 1 asks about the existence of a year $t⩾2023$ in which the conjunction

$$\left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \left(Condition\mathtt{5}\right)$$

will hold for some $\mathcal{X}\subseteq \mathbb{N}$. For every year $t⩾2023$ and for every $i\in \{1,2,3\}$, a positive solution to Open Problem i in the year t may change in the future. Currently, the answers to Open Problems 1–5 are negative.

5. Satisfiable Conjunctions Which Consist of Conditions (1)-(5) and Their Negations

The set $\mathcal{X}={\mathcal{P}}_{n^2+1}$ satisfies the conjunction

$$\neg \left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \left(Condition\mathtt{5}\right)$$

The set $\mathcal{X}=\{0,\dots ,{10}^6\}\cup {\mathcal{P}}_{n^2+1}$ satisfies the conjunction

$$\neg \left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \neg \left(Condition\mathtt{5}\right)$$

The numbers $2^{2^k}+1$ are prime for $k\in \{0,1,2,3,4\}$. It is open whether or not there are infinitely many primes of the form $2^{2^k}+1$, see [6, p. 158] and [11, p. 74]. It is open whether or not there are infinitely many composite numbers of the form $2^{2^k}+1$, see [6, p. 159] and [11, p. 74]. Most mathematicians believe that $2^{2^k}+1$ is composite for every integer $k⩾5$, see [5, p. 23]. The set

$$\mathcal{X}=\left\{\begin{array}{c}\mathbb{N},if{2}^{2^{f\left(9^9\right)}}+1iscomposite\hfill \\ \{0,\dots ,{10}^6\},otherwise\hfill \end{array}\right.$$

satisfies the conjunction

$$\left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \neg \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \neg \left(Condition\mathtt{5}\right)$$

Open Problem 2.Is there a set $\mathcal{X}\subseteq \mathbb{N}$ that satisfies the conjunction

$$\left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \neg \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \left(Condition\mathtt{5}\right)?$$

The set

$$\mathcal{X}=\left\{\begin{array}{c}\mathbb{N},if{2}^{2^{f\left(9^9\right)}}+1iscomposite\hfill \\ \{0,\dots ,{10}^6\}\cup \hfill \\ \{n\in \mathbb{N}:nisthesixthprimenumberoftheform{2}^{2^k}+1\},otherwise\hfill \end{array}\right.$$

satisfies the conjunction

$$\neg \left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \neg \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \neg \left(Condition\mathtt{5}\right)$$

Open Problem 3.Is there a set $\mathcal{X}\subseteq \mathbb{N}$ that satisfies the conjunction

$$\neg \left(Condition\mathtt{1}\right)\wedge \left(Condition\mathtt{2}\right)\wedge \neg \left(Condition\mathtt{3}\right)\wedge \left(Condition\mathtt{4}\right)\wedge \left(Condition\mathtt{5}\right)?$$

It is possible, although very doubtful, that at some future day, the set $\mathcal{X}={\mathcal{P}}_{n^2+1}$ will solve Open Problem 2. The same is true for Open Problem 3. It is possible, although very doubtful, that at some future day, the set $\mathcal{X}=\{k\in \mathbb{N}:2^{2^k}+1iscomposite\}$ will solve Open Problem 1. The same is true for Open Problems 2 and 3.

Table 1 shows satisfiable conjunctions of the form

$$\#(\mathrm{Condition}\mathtt{1})\wedge (\mathrm{Condition}\mathtt{2})\wedge \#(\mathrm{Condition}\mathtt{3})\wedge (\mathrm{Condition}\mathtt{4})\wedge \#(\mathrm{Condition}\mathtt{5})$$

where # denotes the negation ¬ or the absence of any symbol.

Definition 4. 

We say that an integer n is a threshold number of a set $\mathcal{X}\subseteq \mathbb{N}$, if $\mathrm{card}\left(\mathcal{X}\right)<\omega \Rightarrow \mathcal{X}\subseteq (-\infty ,n]$.

If a set $\mathcal{X}\subseteq \mathbb{N}$ is empty or infinite, then any integer n is a threshold number of $\mathcal{X}$. If a set $\mathcal{X}\subseteq \mathbb{N}$ is non-empty and finite, then the all threshold numbers of $\mathcal{X}$ form the set $[max(\mathcal{X}),\infty )\cap \mathbb{N}$.

Open Problem 4. Is there a known threshold number of ${\mathcal{P}}_{n^2+1}$?

Open Problem 4 asks about the existence of a year $t⩾2023$ in which the implication $\mathrm{card}\left({\mathcal{P}}_{n^2+1}\right)<\omega \Rightarrow {\mathcal{P}}_{n^2+1}\subseteq (-\infty ,n]$ will hold for some known integer n.

Let $\mathcal{T}$ denote the set of twin primes.

Open Problem 5.Is there a known threshold number of $\mathcal{T}$?

Open Problem 5 asks about the existence of a year $t⩾2023$ in which the implication $\mathrm{card}\left(\mathcal{T}\right)<\omega \Rightarrow \mathcal{T}\subseteq (-\infty ,n]$ will hold for some known integer n.