Skip to main content
1 of 3

This question in principle can be answered

This is a question about generalizations of the twin primes conjecture.

I would like to know a counterexample, or a proof, for the following cpuple or related arithmetical sentences:

$(\forall p)(\exists n)(\exists q)( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$

In informal words, every prime number $p$ can be written as the sum of a smaller prime $q$ and a power of two.

$(\forall q)(\exists n)(\exists p) ( Prime(p) \wedge Prime (q) \wedge (p = 2^n + q))$

In informal words, for every prime number $q$ there exists a number $n$ such that the sum of $q$ and the $n$-th power of two is a prime number.