Software-update: Seventeen or Bust 1.11

Het Seventeen or Bust distributed-computing project probeert met hulp van computergebruikers over de hele wereld het Sierpinski vermoeden te bewijzen. De naam is gekozen vanwege de resultaten die project kan geven: Als het vermoeden klopt zullen er zeventien resultaten zijn, maar wanneer het vermoeden niet klopt, gaat het project eeuwig door: zeventien of 'kapot'.

Onlangs heeft het ontwikkelteam een nieuwe versie beschikbaar gesteld met 1.11 als versienummer. De release notes zien er als volgt uit:

This addresses an issue that can cause P4 systems to crash with large exponents above 5M. If you have a P4 or other system that uses SSE2 instructions, please upgrade immediately to SB v1.11

Versienummer	1.11
Besturingssystemen	Windows 9x, Windows NT, Windows 2000, Windows XP
Website	Seventeen or Bust
Download	http://www.fragafriend.net/sb111.exe
Bestandsgrootte	327,00kB
Licentietype	Freeware

Reacties (20)

[voodooless]

In de theorie van de Turing machines noemen ze dit soort problemen halting problemen:
Turing machine met een bepaalde input, accepteerd de input als ie stopt, echter als ie eeuwig door gaat accepteerd ie de input niet... Het is al lang bewezen dat dit een onbeslisbaar probleem is. Verschil met hier is dat ie niet stopt als er geen oplossing gevonden wordt, dat heet dan een Universal Turing machine

Natuurlijk ligt het probleem hier net anders. Men weet namelijk niet (kan (nog) niet bewijzen) dater nog kleinere van die Sierpinski getallen zijn. Probleem is alleen, dat je de oplossing dus nooit zult weten, juist omdat het eeuwig door zou kunnen gaan (tenzij het toch stopt) -> onbeslisbaar dus..

[Mobster]

Men weet namelijk niet (kan (nog) niet bewijzen) dater nog kleinere van die Sierpinski getallen zijn. Probleem is alleen, dat je de oplossing dus nooit zult weten, juist omdat het eeuwig door zou kunnen gaan (tenzij het toch stopt) -> onbeslisbaar dus..

Niet helemaal waar. Het enige waar je over zou kunnen debateren is of een getak een Sierpinski getal is. Dat kan je niet bewijzen. Maar dat er geen kleiner getal dan de tot nu gevonden waardes is, is wel degelijk te bewijzen.
Sterker nog. Dat is het hele idee van dit Seventeen or Bust project!

[voodooless]

Volgens de tekst bovenin is het niet bewezen, maar vermoed men het alleen maar (volgens de post van Zeikerd is het idd al bewezen). Dit vermoeden kan men bevestigen door naar de getallen op zoek te gaan, op de brute force manier in dit geval...

Probleem is nu dat als het eeuwig door zou gaan, je ook nooit de oplossing zult weten (tenzij het vermoeden al van te voren als juist zou worden bevonden, dus er zijn idd 17 oplossingen). Als je namelijk eeuwig door zou gaan, weet je nooit of je ooit misschien toch tegen deze oplossing aanloopt... Officeel gezien weet je dus nooit of het vermoeden niet klopt (simpelweg omdat je niet eeuwig door kunt gaan).

[Verwijderd]

WAT is het Sierpinski vermoeden ? Mijn engels zuigt (schaamsmilie)

[sweetdude]

Nou ons lid DJklungel had er het volgende over te melden

Wat betekend SoB nou voor Switch, of de mensheid in het algemeen (soow ... dat klinkt al interessant).

De hele natuur is in princiepe opgebouwd uit priemgetallen ( 2 handen, 5 vingers per hand, 1 hoofd, 3 vinger kootjes) ... Dus dat wilt zeggen ... het is meestal niet deelbaar in 2 of meer kleinere dingen . Door het splitsen van cellen e.d. deelt het zich meestal op naar kleinst deelbare vormen.
Natuurlijk zijn er ook "misvormingen" in de natuur ... de bekendste is natuurlijk het klavertje 4. 4 is zoals we allemaal weten deelbaar door 2. Daarom is dit dus een bijzonder iets in de natuur

Je zult nu wel denken ... allemaal leuk en aardig ... maar wat eet ik er nou meer door om dit uit te rekenen. Nouw ... als je weet uit hoeveel cellen/onderdelen iets bestaat ... dan kun je bijvoorbeeld sneller medicijnen ontwikkelen omdat je weet dat iets zich niet meer kan gaan delen omdat het bestaat uit een priemgetal. Zo zijn er nog meer dingen te bedenken waarbij dit nuttig is.

Dit was weer mijn informatieve bijdrage bij dit project

Groetjes van DJ "opa van switch" Klungel

aangezien ik er verder geen verstand van heb is dit dan ook een van de weinige keren dat ik hem maar geloof

[Zarc.oh]

het getal 1 is geen priem getal, omdat een priemgetal per definitie deelbaar is door 2 getallen: 1 én zichzelf
het getal 1 is maar door 1 getal deelbaar, nl 1

[Ortep]

Deelbaar door 1 klopt bij 1
En deelbaar door zichzelf klopt OOK bij 1.
Dat dat bij toeval hetzelfde getal is doet niets af aan de definitie

[0rbit]

Jullie hebben het allebei mis: 1 is een axioma in het formele systeem der priemgetalen

[MikeyMan]

is het heel erg raar dat ik het nogsteeds niet begrijp???

[Mobster]

Ik heb het hier haarfijn uitgelegd.
Het is nogal een lap om hier in een reply te zetten, maar lees het eens op je gemak door en kom DPC helpen. Het is misschien geen rete nuttig project, maar wel interessant als je van wiskunde houdt en je kan met weinig power toch heel wat betekenen.

Het Sierpinski probleem is het zoeken naar een sluitend bewijs dat je het kleinste Sierpinski getal gevonden hebt.

Stel:
k is een positief oneven getal (1, 3, 5, 7 ….)
n is een positief geheel getal (1, 2, 3, 4 ….)

Als je voor k een waarde vindt waarbij (k * 2^n) + 1 als uitkomst altijd een samengesteld getal geeft dan heb je een Sierpinski getal gevonden.
Anders gezegd. Als het resultaat van deze berekening nooit priemgetallen zijn (voor elke n dus) dan is een k een geldig Sierpinski getal.

[Verwijderd]

* 786562 FoxzdaFoxz
Trap er telkens weer opnieuw in...



Zijn er uberhaupt mensen hier die hieraan meedoen?
Mij persoonlijk lijkt het een van de minst interessante distributed computing projecten.

[Misanthropia]

Ik ben 1 van de deelnemers, wel met me via epia 800 die rustig maar gestaag door knaagt.
Op het Sierpinski vermoeden zijn weer andere aannames gedaan. Als het vermoeden fout blijkft, dan kunnen al die andere aannames ook van tafel geveegd worden.

[[eNeRGy]]

Blijkbaar wel: http://gathering.tweakers.net/forum/list_messages/831602

[Dr.Dokter]

ik zat een beetje aan een andere Seventeen te denken...

[Verwijderd]

Viesspeuk!!

[Verwijderd]

was is een vies speuk??

[Ortep]

Wat dacht je hier van:

Nouw ... als je weet uit hoeveel cellen/onderdelen iets bestaat ... dan kun je bijvoorbeeld sneller medicijnen ontwikkelen omdat je weet dat iets zich niet meer kan gaan delen omdat het bestaat uit een priemgetal.

[Macros]

http://mathworld.wolfram.com/SierpinskisConjecture.html Mathworld zegt dat dit al in 1998 is bewezen.

The conjecture was proved by Ford (1998ab).

[Chaos]

* 786562 Eric
Het gaat om het Sierpinski probleem, niet om de stelling die dezelfde naam draagt. Op http://www.seventeenorbust.com/ lezen we:

The Sierpinski problem itself deals with numbers of the form N = k * 2^n + 1, for any odd k and n > 1. Numbers of this form are called Proth numbers. If, for some specific value of k, every possible choice of n results in a composite (non-prime) Proth number N, then that k is called a Sierpinski number. The Sierpinski problem itself is: "What is the smallest Sierpinski number?" (For a more rigorous mathematical discussion of the problem, see prothsearch.net's Sierpinski Problem page.)

John Selfridge proved, 40 years ago, that k = 78,557 is a Sierpinski number. Most number theorists believe that this is the smallest, but it hasn't yet been proven. In order to prove it, we have to show that every single k less than 78,557 is not a Sierpinski number, and to do that, we have to find some n that makes k * 2^n + 1 prime. When Seventeen or Bust was started, this had already been done for all but 17 values of k; hence the name of the project. After 8 months of computation, we have eliminated 4 multipliers: four down, thirteen to go.