Collatz Conjecture: Unterschied zwischen den Versionen
Zeile 66: | Zeile 66: | ||
Scheinbar endet die resutierende Zahlenfolge für jeden Ausgangswert x > 0 zwangsläufig bei 1. | Scheinbar endet die resutierende Zahlenfolge für jeden Ausgangswert x > 0 zwangsläufig bei 1. | ||
− | Dieses jedoch ist mathematisch unbewiesen und es gilt entweder, diesen Beweis zu führen | + | Dieses jedoch ist mathematisch unbewiesen und es gilt entweder, diesen Beweis zu führen - oder einen experimentellen Widerspruch herbei zu |
führen. | führen. | ||
Version vom 2. November 2014, 13:29 Uhr
Steckbrief | |||||
---|---|---|---|---|---|
Kategorie: | Mathematik | ||||
Betreiber: | ? | ||||
Nationalität: | USA(?) | ||||
Start: | Juli 2009 | ||||
Status: | Alpha | ||||
Checkpoints: | ja | ||||
Webseite: | boinc.thesonntags.com/collatz/ | ||||
Anmelde-URL: | http://boinc.thesonntags.com/collatz/ | ||||
Clients | |||||
x86 | x | x | - | - | - |
x86-64 | x | x | - | - | - |
Android | - | - | - | - | - |
RaspberryPi | - | - | - | - | - |
GPU (CAL) | x | - | - | - | - |
GPU (CUDA) | x | x | - | - | - |
GPU (OpenCL) | x | x | - | - | - |
GPU (Intel) | x | x | - | - | - |
Planet 3DNow! Teamstatistik | |||||
Platzierung Planet 3DNow!: (powered by BOINCstats) |
Collatz Conjecture ist ein US-amerikanisches(?) Projekt, das ...
Projektbeschreibung
Das Projekt Collatz Conjecture hat das Ziel, das sog. Collatz-Problem aus dem Bereich der Mathematik zu lösen.
In der Mathematik existieren mathematisch generierte Zahlenfolgen, welche auf eine gesetzmäßige Regelmäßigkeit schließen lassen, diese jedoch mit bekannten mathematischen Regeln nicht abschließend bewiesen werden können. Somit bleiben es bekannte Regelmäßigkeiten ohne endgültigen mathematischen Beweis, was ihre Verwendung in der Mathematik sowie allen darauf aufbauenden Bereichen in der Praxis stark einschränkt oder nach den Regeln der Mathematik gänzlich verbietet.
Da ein mathematischer Beweis bislang nicht erbracht werden konnte, existiert als Alternative nur der Weg des Beweises (der Ungültigkeit) durch Widerspruch. Dieses Verfahren konnte bereits bei anderen, vergleichbaren mathematischen Problemen erfolgreich angewendet werden.
Collatz Conjecture setzt auf die Suche nach einem solchen Widerspruch durch Testen immer weiter steigenden Ausgangswerte.
Kurzbeschreibung des Collatz-Problems :
- man nehme eine natürliche Zahl x > 0
- ist x gerade, so wird sie durch 2 geteilt (x = x / 2)
- ist x ungerade, so wird sie mit 3 multipliziert und um +1 erhöht (x = 3x+1)
- der Vorgang wird wiederholt, bis die Zahlenfolge bei x=1 endet
Scheinbar endet die resutierende Zahlenfolge für jeden Ausgangswert x > 0 zwangsläufig bei 1. Dieses jedoch ist mathematisch unbewiesen und es gilt entweder, diesen Beweis zu führen - oder einen experimentellen Widerspruch herbei zu führen.
Erfolge des Projekts
Planet 3DNow!
Planet 3DNow! nimmt seit dem 02.07.2009 mit einem eigenen Team an Collatz Conjecture teil.
Teilnahme
Das Projekt wird über die BOINC-Plattform betrieben. Die Anmelde-URL lautet: http://boinc.thesonntags.com/collatz/
Besonderheiten
Banner
Weblinks
- http://boinc.thesonntags.com/collatz/ - Internetpräsenz des Projekts
- Planet 3DNow! Teamstatistik
- http://en.wikipedia.org/wiki/Collatz_conjecture/ - Wiki zum Collatz Conjecture Problem
Quellen
- Astronomie & Astrophysik -
Cosmology@Home | Einstein@Home | MilkyWay@home | orbit@home | SETI@home
- Biologie & Medizin -
BCL@Home | Cels@Home | Docking@Home | DrugDiscovery@Home | Malariacontrol.net | POEM@HOME | Predictor@home* | Proteins@Home | RNA World | Rosetta@home | SIMAP | Superlink@Technion | TANPAKU* | Virtual Prairie
- Chemie -
GPUGRID | Hydrogen@Home | QMC@Home
- Geologie -
- Internet -
- Kryptographie -
DistrRTgen | DNETC@HOME | Enigma@Home | SHA-1 Collision Search Graz
- Künstliche Intelligenz -
Artificial Intelligence System* | distributedDataMining | FreeHAL@home | MindModeling@Home
- Mathematik -
3x+1@home* | ABC@home | Collatz Conjecture | Goldbach's Conjecture Project | Genetic Life | NFS@Home | PrimeGrid | Ramsey@Home | Rectilinear Crossing Number | Riesel Sieve* | SZTAKI Desktop Grid | TSP* | WEP-M+2 Project
- Metaprojekte -
AlmereGrid | Leiden Classical | The Lattice Project | World Community Grid | yoyo@home
- Meteorologie -
APS@Home | BBC Climate Change Experiment* | ClimatePrediction.net | Climate Prediction Seasonal Attribution Project
- Nanotechnologie -
NanoHive@Home* | Spinhenge@home
- Physik -
AQUA@home | EDGeS@Home | IBERCIVIS | LHC@home | Magnetism@home | QuantumFIRE | Zivis Superordenador Ciudadano* | µFluids@Home
- Rendering -
BURP | PicEvolvr | Open Rendering Environment
- Spiele -
Chess960@Home | NQueens@Home | pPot Tables* | Sudoku
- Tests der BOINC-Plattform -
Pirates@Home | Project Neuron* | UCT: malariacontrol.net | vtu@home
- Astronomie & Astrophysik -
- Biologie & Medizin -
- Mathematik -