Goldbach's Conjecture Project (beendet)
Das Projekt will für jede ungerade Zahl kleiner als 101.346 nachweisen, dass die schwache Goldbachsche Vermutung gilt. Dass diese Vermutung für größere Zahlen gilt, haben Liu Ming-Chit und Wang Tian-Ze bereits bewiesen.
Christian Goldbach hatte diese Vermutung in einem Brief an Leonhard Euler bereits 1742 wir folgt geäußert:
Jede ungerade Zahl größer als 5 kann als Summe dreier Primzahlen geschrieben werden.
In dieser Form ist die Goldbachsche Vermutung eines der ältesten Probleme der Zahlentheorie. Hier einige Beispiele:
7 | = 3 + 2 + 2 |
11 | = 5 + 3 + 3 |
13 | = 7 + 3 + 3 |
15 | = 5 + 5 + 5 |
Die schwache Goldbachsche Vermutung gilt heute als so gut wie gelöst.
- 1923 zeigten Hardy and Littlewood dass sie gilt, wenn die verallgemeinerte Riemannsche Vermutung richtig ist.
- 1937 bewies der russische Mathematiker Iwan Matwejewitsch Winogradow dass sie für genügend große Zahlen gilt. Er konnte allerdings nicht sagen was genügend groß sei.
- 1939 zeigte sein Student K. Borozdin dass 314.348.907 genügend groß sei. Diese Zahl hat 6.846.169 Stellen.
- 2002 zeigten dann Liu Ming-Chit und Wang Tian-Ze dass 101.346 groÃ? genug sei.
Kleinere Zahlen sollen nun durch dieses Projekt überprüft werden. Damit wäre dann die schwache Goldbachsche Vermutung effektiv bewiesen.
Desweiteren wird diese Vermutung schon untersucht, so dass dieses Projekt als reiner Test gesehen werden kann.
Siehe auch:
- Goldbach-Vermutung, ein weiter fortgeschrittenes Projekt
Inhalt
Projektübersicht
Goldbach's Conjecture Project | |
---|---|
Name | Goldbach's Conjecture Project |
Kategorie | Mathematik |
Ziel | Nachweis der Goldbach-Vermutung |
Kommerziell | nein |
Homepage | goldbach.pl (Archive.org) |
Dieses Projekt wird in Polen durchgeführt. |
Projektstatus
Projektlinks
- FAQ (Archive.org)
Statistiken
Wo | Übersicht | Top Teams | Top User |
---|---|---|---|
Projekt Home Page | Top Teams | Top User | |
BOINCstats.com | Übersicht | Top Teams | Top User |
stats.free-dc.org | Übersicht | Top Teams | Top User |
Clientprogramm
Betriebssysteme
Windows | ||
Windows 64bit | ||
Linux | ||
Linux 64bit | ||
DOS |
|
|
BSD | ||
Solaris | ||
Java (betriebssystemunabhängig) |
Client-Eigenschaften
Funktioniert auch über Proxy | |
Normal ausführbares Programm | |
Als Bildschirmschoner benutzbar | |
Kommandozeilenversion verfügbar | |
Personal Proxy für Work units erhältlich | |
Work units auch per Mail austauschbar | |
Quellcode verfügbar | |
Auch offline nutzbar | |
Checkpoints |
Qualitätssicherung
Überprüft: 8.11.2018