Комментарии 7
А если одно из числе Q1 и Q2 - простое, а другое - составное?
Гениально!
Очень глупая логическая ошибка. Это доказательство от противного.
Вы допустили, что простых конечное число, получили, что или есть числа близнецы, не входящие в это конечное множество простых чисел, или есть какие-то другие простые числа не входящие в это конечное множество простых чисел. Противоречие, да. Значит предположение, что простых чисел конечно - не верно. Вы тут никак не доказали ничего про простых близнецов. Вам для этого надо начать с предположения, что простых близнецов конечное количество и там прийти к противоречию.
Вы не правильно поняли доказательство. В нем не доказывается, что Q это простое число, а x не может существовать. В нем доказывается, что если x существует, то оно за пределами списка.
А оно существует и Q вовсе не обязанно быть простым.
Вот пример: 2*3*5*7*11*13=30030 Q=30030+1=30031
30031=59*509, оба и 59 и 509 не входят в список перемноженных простых чисел. При этом 30029 - простое число у которого нет пары.

Доказательство бесконечности чисел‑близнецов