So if you could solve the halting problem, you could solve the twin prime conjecture and all sorts of other unsolved questions.
因此, 如果你能解决停机问题,你就能解决孪生素数猜想和所有其他未解决的问题。
Veritasium真理元素
For example, you could solve the twin prime conjecture by writing a Turing machine program that starts with the axioms and constructs all theorems that can be produced in one step using the rules of inference.
A twin prime is a prime number that is either 2 less or 2 more than another prime number —for example, the twin prime pair (41, 43). In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term twin prime is used for a pair of twin primes; an alternative name for this is prime twin or prime pair.