• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 05:22
CEST 11:22
KST 18:22
  • 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
Team TLMC #5 - Finalists & Open Tournaments0[ASL20] Ro16 Preview Pt2: Turbulence10Classic Games #3: Rogue vs Serral at BlizzCon9[ASL20] Ro16 Preview Pt1: Ascent10Maestros of the Game: Week 1/Play-in Preview12
Community News
BSL 2025 Warsaw LAN + Legends Showmatch0Weekly Cups (Sept 8-14): herO & MaxPax split cups4WardiTV TL Team Map Contest #5 Tournaments1SC4ALL $6,000 Open LAN in Philadelphia8Weekly Cups (Sept 1-7): MaxPax rebounds & Clem saga continues29
StarCraft 2
General
#1: Maru - Greatest Players of All Time Weekly Cups (Sept 8-14): herO & MaxPax split cups Team Liquid Map Contest #21 - Presented by Monster Energy SpeCial on The Tasteless Podcast Team TLMC #5 - Finalists & Open Tournaments
Tourneys
Maestros of The Game—$20k event w/ live finals in Paris Sparkling Tuna Cup - Weekly Open Tournament SC4ALL $6,000 Open LAN in Philadelphia WardiTV TL Team Map Contest #5 Tournaments RSL: Revival, a new crowdfunded tournament series
Strategy
Custom Maps
External Content
Mutation # 491 Night Drive Mutation # 490 Masters of Midnight Mutation # 489 Bannable Offense Mutation # 488 What Goes Around
Brood War
General
ASL TICKET LIVE help! :D BW General Discussion NaDa's Body Soulkey on ASL S20 A cwal.gg Extension - Easily keep track of anyone
Tourneys
[ASL20] Ro16 Group D [ASL20] Ro16 Group C [Megathread] Daily Proleagues BSL 2025 Warsaw LAN + Legends Showmatch
Strategy
Simple Questions, Simple Answers Muta micro map competition Fighting Spirit mining rates [G] Mineral Boosting
Other Games
General Games
Stormgate/Frost Giant Megathread Nintendo Switch Thread Path of Exile Borderlands 3 General RTS Discussion Thread
Dota 2
Official 'what is Dota anymore' discussion LiquidDota to reintegrate into TL.net
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
Community
General
US Politics Mega-thread Canadian Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread UK Politics Mega-thread
Fan Clubs
The Happy Fan Club!
Media & Entertainment
Movie Discussion! [Manga] One Piece Anime Discussion Thread
Sports
2024 - 2026 Football Thread Formula 1 Discussion MLB/Baseball 2023
World Cup 2022
Tech Support
Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread High temperatures on bridge(s)
TL Community
BarCraft in Tokyo Japan for ASL Season5 Final The Automated Ban List
Blogs
I <=> 9
KrillinFromwales
The Personality of a Spender…
TrAiDoS
A very expensive lesson on ma…
Garnet
hello world
radishsoup
Lemme tell you a thing o…
JoinTheRain
RTS Design in Hypercoven
a11
Evil Gacha Games and the…
ffswowsucks
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2533 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 38m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
ProTech76
StarCraft: Brood War
Calm 2684
Bisu 646
Hyuk 258
sorry 84
Dewaltoss 75
HiyA 71
ToSsGirL 70
Light 54
Pusan 51
Soma 33
[ Show more ]
soO 32
Nal_rA 31
Liquid`Ret 22
Sharp 18
Free 15
SilentControl 11
Rush 10
ZerO 0
Dota 2
singsing672
boxi98173
XcaliburYe159
League of Legends
JimRising 404
Counter-Strike
olofmeister1243
shoxiejesuss663
Stewie2K504
allub183
Other Games
XaKoH 141
NeuroSwarm92
Trikslyr11
trigger2
Organizations
Other Games
gamesdonequick589
StarCraft: Brood War
lovetv 314
UltimateBattle 28
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 14 non-featured ]
StarCraft 2
• Light_VIP 26
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• iopq 1
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Jankos1242
• Stunt770
Upcoming Events
RSL Revival
38m
Maru vs Reynor
Cure vs TriGGeR
Map Test Tournament
1h 38m
The PondCast
3h 38m
RSL Revival
1d
Zoun vs Classic
Korean StarCraft League
1d 17h
BSL Open LAN 2025 - War…
1d 22h
RSL Revival
2 days
BSL Open LAN 2025 - War…
2 days
RSL Revival
3 days
Online Event
3 days
[ Show More ]
Wardi Open
4 days
Monday Night Weeklies
4 days
Sparkling Tuna Cup
5 days
LiuLi Cup
6 days
Liquipedia Results

Completed

Proleague 2025-09-10
Chzzk MurlocKing SC1 vs SC2 Cup #2
HCC Europe

Ongoing

BSL 20 Team Wars
KCM Race Survival 2025 Season 3
BSL 21 Points
ASL Season 20
CSL 2025 AUTUMN (S18)
LASL Season 20
RSL Revival: Season 2
Maestros of the Game
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

Upcoming

2025 Chongqing Offline CUP
BSL World Championship of Poland 2025
IPSL Winter 2025-26
BSL Season 21
SC4ALL: Brood War
BSL 21 Team A
Stellar Fest
SC4ALL: StarCraft II
EC S1
ESL Impact League Season 8
SL Budapest Major 2025
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
MESA Nomadic Masters Fall
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
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.