Beal@home
Aus SETI.Germany Wiki
| Beal@Home | |
|---|---|
| Ziel: | Finde ein Gegenbeispiel zu Beals Behauptung |
| Kategorie: | Mathematik |
| Homepage: | http://bealathome.com/ |
| Betreiber: | bealathome.com |
| Status: | inaktiv/beendet |
| Projektadressen | |
| Serverstatus: | Beal@Home |
| Forum: | Beal@Home Forum |
| SETI.Germany | |
| Teambeitritt: | SETI.Germany beitreten |
| Forenthread: | SETI.Germany Forum |
| Workunits | |
automat  | |
| Frist: | 7 TAge |
| Laufzeit: |
|
| Betriebssysteme: |  |
| Bildschirmschoner: |  |
| Checkpoints: | |
| In den Einstellungen des Boinc-Managers für RAM verlangt Beal fast 2 GB, obwohl es danach gar nicht so viel braucht (bei 4 Cores). 250 Credits pro WU | |
| automat | |
| Frist: | 7 Tage |
| Laufzeit: |
|
| Betriebssysteme: | |
| Bildschirmschoner: | |
| Checkpoints: | |
| Lin64-VM auf XP-Host (3 Cores), teilweise auch Last unter XP. n den Einstellungen des Boinc-Managers für RAM verlangt Beal fast 2 GB, obwohl es danach gar nicht so viel braucht (bei 4 Cores). 250 Credits pro WU | |
| bealathome | |
| Frist: | 1 Woche |
| Laufzeit: |
|
| Erster Download: | 2 Dateien (1x .exe, plus 1x input-Datei) |
| Download: | 1 KB |
| Upload: | 1 KB |
| Arbeitsspeicher: | ca. 20 MB |
| Betriebssysteme: |    |
| Bildschirmschoner: | |
| Checkpoints: | |
| Im Slot-Ordner des BOINC-Managers stehen während der Berechnung 4 Dateien. Es gibt feste credits/wu. April 2014 waren es 250cr/wu | |
Der sogenannte große fermatsche Satz ist längst bewiesen worden. Andrew Beal erdachte daher eine spezielle verallgemeinerte Form dieses Satzes, in der Form A^x+B^y=C^z.
Unter den Bedingungen, dass alle Werte ganzzahlige, positive Zahlen sind und die Exponenten >2 sind, steht die Behauptung im Raum, das A, B, C einen gemeinsamen Primfaktor besitzen.
Das Projekt versucht, ein Gegenbeispiel zu dieser Behauptung zu finden.
