Yes, Aketilander ,Thanks...

Sorry , My question may be misunderstood for someone , my question in tcl scripting clearly is

set x 3
while { $x > 0} {
set x [expr POWER(2,$x) -1]
puts "$x is a prime number ? "
}

Hi Aketilander,

Double mersenne number is only 2 levels of POWER of 2.
I am thinking for more than 2 (may be infinite levels) , it is always a prime number
MMp : Double mersenne number...
MMMMM...p is always a prime number ?


Regards,
Mastan

[QUOTE=Mastan;327864]Sorry , My question may be misunderstood for someone , my question in tcl scripting clearly is

set x 3
while { $x > 0} {
set x [expr POWER(2,$x) -1]
puts "$x is a prime number ? "
}[/QUOTE]

No. 11 is prime, but 2^11-1 is not prime (=23*89, and yes I did have those factors memorized).

[quote=Wikipedia/Mersenne prime]Though it was believed by early mathematicians that Mp is prime for all primes p, [B]Mp is very rarely prime[/B]. In fact, of the [B]1,622,441 prime numbers p[/B] up to 25,964,951,[5] Mp is prime for only [B]42[/B] of them. The smallest counterexample is the Mersenne number
M11 = 211 − 1 = 2047 = 23 × 89.[/quote]

Looking at your Tcl, it looks like you are asking the following, much more specific question(s):
2^2-1 = M2 = 3 is prime.
2^3-1 = M3 = MM2 = 7 is prime.
2^7-1 = M7 = MMM2 = 127 is prime.
2^127-1 = M127 = MMMM2 is prime.

[B]Is MM127 = MMMMM2 a prime?[/B]
For a natural number n and prime p, define M(p, n) = the nth iterated Mersenne number starting with p, such that M(p, 3) = MMMp.
[B]Is M(2, n) prime for all n >= 1?[/B]

There is (as yet) no reason to believe that these numbers have a better chance to be prime than a "random" Mersenne number with a prime exponent. Since Mersenne primes are so few and far between, it is conjectured that MM127 (and M(2, n) for "almost all" n >4) are composite. With our current knowledge of mathematics and computational power though, we have no way to prove it one way or the other. aketilander is looking for a factor of MM127, which would undoubtedly prove its compositeness.

There has been much discussion of these questions -- try Googling "double mersenne numbers" or "iterated mersenne numbers".

[QUOTE=science_man_88;327853]2^p-1 iff p is prime, however the reverse p is prime iff 2^p-1 is prime is false, first counter example is 2^11-1 =23*89.[/QUOTE]

Watch your 'f's there. You're saying contradictory things if those double 'f's are to be interpreted "properly".

[QUOTE=Mastan;327865]
I am thinking for more than 2 (may be infinite levels) , it is always a prime number[/QUOTE]

You may think it, and we cannot disprove it, but there is little reason to believe it is true. In fact it is overwhelmingly believed by math experts to be false.

[QUOTE=Mastan;327865]I am thinking for more than 2 (may be infinite levels) , it is always a prime number
MMp : Double mersenne number...
MMMMM...p is always a prime number ?[/QUOTE]

It will take [I]one[/I] factor to destroy this chain (proving MM127 composite and all of the rest of the chain), and this factor will in a few years be found (most experts agree).

[QUOTE=Dubslow;327877]No. 11 is prime, but 2^11-1 is not prime (=23*89, and yes I did have those factors memorized).



Looking at your Tcl, it looks like you are asking the following, much more specific question(s):
2^2-1 = M2 = 3 is prime.
2^3-1 = M3 = MM2 = 7 is prime.
2^7-1 = M7 = MMM2 = 127 is prime.
2^127-1 = M127 = MMMM2 is prime.

[B]Is MM127 = MMMMM2 a prime?[/B]
For a natural number n and prime p, define M(p, n) = the nth iterated Mersenne number starting with p, such that M(p, 3) = MMMp.
[B]Is M(2, n) prime for all n >= 1?[/B]

There is (as yet) no reason to believe that these numbers have a better chance to be prime than a "random" Mersenne number with a prime exponent. Since Mersenne primes are so few and far between, it is conjectured that MM127 (and M(2, n) for "almost all" n >4) are composite. With our current knowledge of mathematics and computational power though, we have no way to prove it one way or the other. aketilander is looking for a factor of MM127, which would undoubtedly prove its compositeness.

There has been much discussion of these questions -- try Googling "double mersenne numbers" or "iterated mersenne numbers".



Watch your 'f's there. You're saying contradictory things if those double 'f's are to be interpreted "properly".[/QUOTE]

I did I think you need to reread.

[QUOTE=Mastan;327850]Ok, Thanks what about this .


2 ^ 2 ^127 -1 which is more clearly POWER(2,(POWER(2,127)) -1[/QUOTE]

Huh?? It's the difference of two squares! (x^2-y^2) = (x-y)(x+y)..........

[QUOTE=Batalov;327893]It will take [I]one[/I] factor to destroy this chain (proving MM127 composite and all of the rest of the chain)[/quote]

True.

[quote] and this factor will in a few years be found (most experts agree).[/QUOTE]

False.

Hey, George, I'll bet you never contemplated using Tcl or Python to implement your LL software, you dinosaur. No wonder it took so long to find the latest M-prime! Sheesh...

I used 'a few' very, very generously.
I agree that it could be ...erhhhm... a while! (Found a better meaningless term! :-)