• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 12:04
CEST 18:04
KST 01:04
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
HomeStory Cup 27 - Info & Preview18Classic wins Code S Season 2 (2025)16Code S RO4 & Finals Preview: herO, Rogue, Classic, GuMiho0TL Team Map Contest #5: Presented by Monster Energy6Code S RO8 Preview: herO, Zoun, Bunny, Classic7
Community News
Weekly Cups (June 23-29): Reynor in world title form?12FEL Cracov 2025 (July 27) - $8000 live event14Esports World Cup 2025 - Final Player Roster14Weekly Cups (June 16-22): Clem strikes back1Weekly Cups (June 9-15): herO doubles on GSL week4
StarCraft 2
General
Weekly Cups (June 23-29): Reynor in world title form? StarCraft Mass Recall: SC1 campaigns on SC2 thread The SCII GOAT: A statistical Evaluation How does the number of casters affect your enjoyment of esports? Esports World Cup 2025 - Final Player Roster
Tourneys
FEL Cracov 2025 (July 27) - $8000 live event HomeStory Cup 27 (June 27-29) WardiTV Mondays SOOPer7s Showmatches 2025 $200 Biweekly - StarCraft Evolution League #1
Strategy
How did i lose this ZvP, whats the proper response Simple Questions Simple Answers [G] Darkgrid Layout
Custom Maps
[UMS] Zillion Zerglings
External Content
Mutation # 480 Moths to the Flame Mutation # 479 Worn Out Welcome Mutation # 478 Instant Karma Mutation # 477 Slow and Steady
Brood War
General
ASL20 Preliminary Maps BGH Auto Balance -> http://bghmmr.eu/ BW General Discussion StarCraft & BroodWar Campaign Speedrun Quest Unit and Spell Similarities
Tourneys
[Megathread] Daily Proleagues [BSL20] GosuLeague RO16 - Tue & Wed 20:00+CET The Casual Games of the Week Thread [BSL20] ProLeague LB Final - Saturday 20:00 CET
Strategy
Simple Questions, Simple Answers I am doing this better than progamers do.
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Path of Exile What do you want from future RTS games? Beyond All Reason
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Heroes of StarCraft mini-set
TL Mafia
TL Mafia Community Thread Vanilla Mini Mafia
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Stop Killing Games - European Citizens Initiative Trading/Investing Thread Russo-Ukrainian War Thread
Fan Clubs
SKT1 Classic Fan Club! Maru Fan Club
Media & Entertainment
Anime Discussion Thread [Manga] One Piece [\m/] Heavy Metal Thread Korean Music Discussion
Sports
2024 - 2025 Football Thread Formula 1 Discussion NBA General Discussion TeamLiquid Health and Fitness Initiative For 2023 NHL Playoffs 2024
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
from making sc maps to makin…
Husyelt
Blog #2
tankgirl
Game Sound vs. Music: The Im…
TrAiDoS
StarCraft improvement
iopq
Heero Yuy & the Tax…
KrillinFromwales
Trip to the Zoo
micronesia
Customize Sidebar...

Website Feedback

Closed Threads



Active: 775 users

[Math] Prime number progression?!

Forum Index > General Forum
Post a Reply
1 2 3 4 Next All
graNite
Profile Blog Joined December 2010
Germany4434 Posts
April 21 2011 22:48 GMT
#1
hi tl
i saw a few math topics recently and noticed there are some good mathematics here.
i have a prime number problem and can't solve it.

lets look at this progression (is progression the right word?)

[image loading] with [image loading]

it produces:

2
3
7
127
...

how can i prove that every number coming of this progression is prime?
if that's not possible, how can i disprove it?

ty
"Oink oink, bitches" - Tasteless on Pigbaby winning a map against Flash
Bibdy
Profile Joined March 2010
United States3481 Posts
Last Edited: 2011-04-21 22:50:23
April 21 2011 22:50 GMT
#2
I haven't done mathematical proofs in donkey's years, but I recall the easiest way to disprove something is to find one specific scenario where the rule doesn't work. That's enough to can the whole formula.
graNite
Profile Blog Joined December 2010
Germany4434 Posts
April 21 2011 22:51 GMT
#3
the problem is that the numbers get really high really fast.
after 127 comes 2^127-1 ... (which is prime)
"Oink oink, bitches" - Tasteless on Pigbaby winning a map against Flash
Starfox
Profile Joined April 2010
Austria699 Posts
April 21 2011 23:03 GMT
#4
You are looking at http://en.wikipedia.org/wiki/Mersenne_prime basically. If you'd be abelt to proof that every step produces a prime you would be the candidate for the next fields medal for sure. :D
Greek Mythology 2.0: Imagine Sisyphos as a man who wants to watch all videos on youtube... and Tityos as one who HAS to watch all of them.
graNite
Profile Blog Joined December 2010
Germany4434 Posts
April 21 2011 23:05 GMT
#5
Will do.

Anyone with a supercomp here? Need a5 - a100 :D
"Oink oink, bitches" - Tasteless on Pigbaby winning a map against Flash
Antisocialmunky
Profile Blog Joined March 2010
United States5912 Posts
Last Edited: 2011-04-21 23:05:50
April 21 2011 23:05 GMT
#6
:\ can't you google your homework?

The proof is on wiki.
[゚n゚] SSSSssssssSSsss ¯\_(ツ)_/¯
Marine/Raven Guide:http://www.teamliquid.net/forum/viewmessage.php?topic_id=163605
gogogadgetflow
Profile Joined March 2010
United States2583 Posts
April 21 2011 23:08 GMT
#7
If his homework is interesting in and of itself and generates discussion I think he has the right to share it. Of course math isn't my strong suit so I can't say if its interesting or not :p
JingleHell
Profile Blog Joined March 2011
United States11308 Posts
April 21 2011 23:11 GMT
#8
On April 22 2011 08:03 Starfox wrote:
You are looking at http://en.wikipedia.org/wiki/Mersenne_prime basically. If you'd be abelt to proof that every step produces a prime you would be the candidate for the next fields medal for sure. :D


Isn't there a cash bounty for calculating new Mersenne primes?
qrs
Profile Blog Joined December 2007
United States3637 Posts
April 21 2011 23:12 GMT
#9
On April 22 2011 08:03 Starfox wrote:
You are looking at http://en.wikipedia.org/wiki/Mersenne_prime basically.
Well...a tiny subset of Mersenne primes, anyway.
'As per the American Heart Association, the beat of the Bee Gees song "Stayin' Alive" provides an ideal rhythm in terms of beats per minute to use for hands-only CPR. One can also hum Queen's "Another One Bites The Dust".' —Wikipedia
stepover12
Profile Joined May 2010
United States175 Posts
April 21 2011 23:19 GMT
#10
I was thinking about how to prove it using fermat's little theorem... but according to wiki it is still an open question

http://en.wikipedia.org/wiki/Catalan's_Mersenne_conjecture#Catalan-Mersenne_number

"Although the first five terms (up to M(127)) are prime, no known methods can decide if any more of these numbers are prime (in any reasonable time) simply because the numbers in question are too huge, unless a factor of M(M(127)) is discovered."

Primadog
Profile Blog Joined April 2010
United States4411 Posts
Last Edited: 2011-04-21 23:22:52
April 21 2011 23:20 GMT
#11
[edit] sorry, I don't know what I am talking about.
Thank God and gunrun.
mcc
Profile Joined October 2010
Czech Republic4646 Posts
Last Edited: 2011-04-21 23:25:45
April 21 2011 23:23 GMT
#12
On April 22 2011 08:05 graNite wrote:
Will do.

Anyone with a supercomp here? Need a5 - a100 :D

I don't think any computer will help you to do that. a5 = M127 and is a prime, but above that you are too far out.

If you would be able to prove your statement, then you would have solved one of important unsolved mathematical problems and I do not think anyone here can really help you with that Basically if I see it correctly you would have proven that there is infinite number of Mersenne primes.

EDIT:typo
ptrpb
Profile Joined March 2011
Canada753 Posts
April 21 2011 23:26 GMT
#13
RECURSIVE INDUCTION
FUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU
Just finished a course on this stuff, but I've forgotten most of it sorry man.
Best of luck though
MBAACC | SG | shit at fighting games
MisterD
Profile Blog Joined June 2010
Germany1338 Posts
April 21 2011 23:27 GMT
#14
i tried ..

(01:24) gp > a = 2
%1 = 2
(01:24) gp > a = 2 ^ a - 1
%2 = 3
(01:24) gp > a = 2 ^ a - 1
%3 = 7
(01:24) gp > a = 2 ^ a - 1
%4 = 127
(01:24) gp > a = 2 ^ a - 1
%5 = 170141183460469231731687303715884105727
(01:24) gp > a = 2 ^ a - 1
*** length (lg) overflow

so .. a5 works, a6 does not work anymore^^ it's a little big.

so for a5:

(01:24) gp > a
%6 = 170141183460469231731687303715884105727
(01:25) gp > factor(a)
%7 = [170141183460469231731687303715884105727 1]

meaning a5 is still prime.
Gold isn't everything in life... you need wood, too!
Day[9]
Profile Blog Joined April 2003
United States7366 Posts
April 21 2011 23:29 GMT
#15
2^67 - 1 = 147,573,952,589,676,412,927 = 193,707,721 x 761,838,257,287

So 2^67 isn't prime : ]

Cheers!

Whenever I encounter some little hitch, or some of my orbs get out of orbit, nothing pleases me so much as to make the crooked straight and crush down uneven places. www.day9.tv
Day[9]
Profile Blog Joined April 2003
United States7366 Posts
April 21 2011 23:30 GMT
#16
Oh shit I misread your post, I thought you were asking about Marsenne primes in general. Agh I'm such a doof
Whenever I encounter some little hitch, or some of my orbs get out of orbit, nothing pleases me so much as to make the crooked straight and crush down uneven places. www.day9.tv
Primadog
Profile Blog Joined April 2010
United States4411 Posts
April 21 2011 23:32 GMT
#17
Can we start nominating Day9 for the fields medal yet?
Thank God and gunrun.
Oracle
Profile Blog Joined May 2007
Canada411 Posts
Last Edited: 2011-04-21 23:37:41
April 21 2011 23:32 GMT
#18
If there were a way to prove that this progression results in primes then people wouldn't be paid $100,000 to find the next largest prime, since 2^a_n - 1 where an is some arbitrarily large prime in that sequence is prime.... we could theoretically have infinitely many large primer numbers, bigger than the largest known prime number.... unless my logic doesnt follow


But what you might say is that youre looking for an upper bound on n for which this statement holds true?

In that case, run a fast fourier transform primality test on a supercomputer with this progession, and hope there exists an n which breaks this progression
graNite
Profile Blog Joined December 2010
Germany4434 Posts
April 21 2011 23:33 GMT
#19
omg i just screamed when i saw you on my thread, becuase i saw your math vid on youtube

pls solve this one !! :D
"Oink oink, bitches" - Tasteless on Pigbaby winning a map against Flash
Rtran10
Profile Joined February 2011
Canada78 Posts
April 21 2011 23:35 GMT
#20
2^8 = 256. (2^8)-1 = 255. 255 is not prime. Am i doing this right?
1 2 3 4 Next All
Please log in or register to reply.
Live Events Refresh
Next event in 7h 57m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Nina 356
ProTech66
StarCraft: Brood War
Calm 7866
Sea 2122
EffOrt 711
Mini 455
Shuttle 452
BeSt 331
Soma 313
Stork 245
Snow 192
Light 100
[ Show more ]
Mind 76
Sea.KH 56
Barracks 55
Trikslyr50
Rush 47
Shinee 43
Hyun 42
Movie 36
Pusan 28
Backho 27
scan(afreeca) 19
ajuk12(nOOB) 11
Shine 9
Dota 2
Gorgc9718
Counter-Strike
fl0m824
Super Smash Bros
Mew2King138
Heroes of the Storm
Khaldor112
Other Games
hiko1087
Lowko406
Fuzer 243
ArmadaUGS73
QueenE61
Beastyqt11
Organizations
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• StrangeGG 75
• poizon28 31
• intothetv
• AfreecaTV YouTube
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV661
• lizZardDota284
League of Legends
• Jankos175
Other Games
• Shiphtur53
Upcoming Events
PiGosaur Monday
7h 57m
The PondCast
17h 57m
Replay Cast
1d 7h
RSL Revival
1d 17h
ByuN vs Classic
Clem vs Cham
WardiTV European League
1d 23h
Replay Cast
2 days
RSL Revival
2 days
herO vs SHIN
Reynor vs Cure
WardiTV European League
2 days
FEL
2 days
Korean StarCraft League
3 days
[ Show More ]
CranKy Ducklings
3 days
RSL Revival
3 days
FEL
3 days
Sparkling Tuna Cup
4 days
RSL Revival
4 days
FEL
4 days
BSL: ProLeague
5 days
Dewalt vs Bonyth
Replay Cast
6 days
Replay Cast
6 days
Liquipedia Results

Completed

Proleague 2025-06-28
HSC XXVII
Heroes 10 EU

Ongoing

JPL Season 2
BSL 2v2 Season 3
BSL Season 20
Acropolis #3
KCM Race Survival 2025 Season 2
CSL 17: 2025 SUMMER
Copa Latinoamericana 4
Championship of Russia 2025
RSL Revival: Season 1
Murky Cup #2
BLAST.tv Austin Major 2025
ESL Impact League Season 7
IEM Dallas 2025
PGL Astana 2025
Asian Champions League '25
BLAST Rivals Spring 2025
MESA Nomadic Masters
CCT Season 2 Global Finals
IEM Melbourne 2025
YaLLa Compass Qatar 2025

Upcoming

CSLPRO Last Chance 2025
CSLPRO Chat StarLAN 3
K-Championship
uThermal 2v2 Main Event
SEL Season 2 Championship
FEL Cracov 2025
Esports World Cup 2025
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025
BLAST Open Fall Qual
Esports World Cup 2025
BLAST Bounty Fall 2025
BLAST Bounty Fall Qual
IEM Cologne 2025
FISSURE Playground #1
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2025 TLnet. All Rights Reserved.