login
Primes prime(i) such that 2^i - prime(i) is also prime.
5

%I #33 Feb 16 2021 08:58:59

%S 5,31,67,89,101,283,503,1039,1129,2069,3457,5641,45763,71483,86599,

%T 112921,161411,210173,211007,232741,245269,479029

%N Primes prime(i) such that 2^i - prime(i) is also prime.

%C The original definition ("Primes p such that the minimum value of |p-2^x|, x>0, is also a prime") produces A188677, not the terms shown here. - _N. J. A. Sloane_, Apr 01 2011.

%C The mystery of this definition was solved by _Robert G. Wilson v_, Jul 06 2014, who also remarks that if instead we ask for odd primes, and therefore the index is one less than that for all primes, the sequence would begin: 11, 13, 17, 19, 23, 37, 61, 233, 257, 1553, 2879, 4919, 6389, 7621, 8081, 35593, 37951, 96263, 206419, ..., . If we count 1 amongst the primes (A008578), then the sequence would begin: 2, 3, 5, 11, 17, 167, 193, 197, 433, 4111, 9173, 42929, 95279, 98897, 139409, 142567, 228617, ..., .

%e a(1)=5 since 5 is the third prime number and 2^3-5 = 3 is prime. - _Robert G. Wilson v_, Jul 06 2014

%t p = 2; lst = {}; While[p < 760001, If[ PrimeQ[ 2^PrimePi@ p - p], AppendTo[lst, p]; Print@ p]; p = NextPrime@ p]; lst (* _Robert G. Wilson v_, Jul 06 2014 *)

%t Select[Table[{n,Prime[n]},{n,40000}],PrimeQ[2^#[[1]]-#[[2]]]&][[All,2]] (* _Harvey P. Dale_, Feb 19 2020 *)

%Y Cf. A000040, A242944, A188677.

%K nonn,more

%O 1,1

%A _Benoit Cloitre_, Dec 17 2002

%E Edited (corrected title) and extended by _Robert G. Wilson v_, Jul 06 2014