Goldbach-Vermutung (beendet)

Die Goldbach-Vermutung ist eines der ältesten ungelösten Probleme der Zahlentheorie. Sie sagt aus, dass jede gerade Zahl größer als 2 als Summe zweier Primzahlen dargestellt werden kann.

Wenn n eine gerade Zahl größer als 2 ist, dann nennt man eine Aufteilung von n mit n = p + q eine Goldbach-Partition von n, sofern p und q prim sind. r(n) ist die Anzahl möglicher verschiedener Partitionen von n. Die Goldbach-Vermutung sagt also aus, dass r(n) > 0 für jedes gerade n > 2 ist.

Bei diesem Projekt wird für jede gerade Zahl die kleinste Goldbach-Partition gesucht, d.h. diejenige Aufteilung in eine Summe zweier Primzahlen p + q mit der kleinstmöglichen Primzahl p. Der bisherige Rekord für die Verifizierung der Goldbach-Vermutung lag bei 4·10¹⁴. Das Ziel der Berechnung 10¹⁸ wurde am 25.04.2007 erreicht.

Siehe auch:

• Goldbach's Conjecture Project

Projektübersicht

Goldbach-Vermutung
Name	Goldbach-Vermutung
Kategorie	Mathematik
Ziel	Überprüfen der Goldbach-Vermutung
Kommerziell	nein
Homepage	www.ieeta.pt/~tos/goldbach.html

	Dieses Projekt wird in Portugal durchgeführt.

Projektstatus

Projektstatus
Status	beendet
Beginn	2003/04
Ende	2007

Projektlinks

• Hintergrundinfos
• Anmelden
• Statistiken
• Mailingliste/Forum

Clientprogramm

Betriebssysteme

	Windows
	Linux
	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

Besonderheiten des Clients

Bei diesem Projekt sind zwei verschiedene Programmteile vorhanden:

• Ein Master-Programm verwaltet einen Bereich von 10¹⁵ Zahlen und teilt selbigen Bereich in 1000 Intervalle auf. Dieses Programm muss im lokalen Netz ausgeführt werden, es handelt sich nicht um den zentralen Projektserver! Außerdem ist dieses Masterprogramm nur für Linux erhältlich.
• Beliebig viele Slave-Programme reservieren sich beim Master einen zu überprüfenden Bereich und führen die eigentliche Berechnung durch. Das Slave-Programm ist sowohl für Linux als auch Windows erhältlich.

Um an diesem Projekt teilzunehmen, muss man dem Projektkoordinator Tomás Oliveira e Silva eine Mail zur Klärung des weiteren Vorgehens schicken.

Meldungen

• 26.04.2007: Berechnung erreicht 10¹⁸