Ein neues Angebot der Universität Edinburgh: bei TheoryMine kann man für nur 15 britische Pfund einen neuen, mit Computerhilfe gefundenen mathematischen Satz nach sich selbst oder, falls man noch ein Weihnachtsgeschenk braucht, auch nach jemand anderem benennen lassen.
Die Gruppe um Alan Bundy arbeitet eigentlich über die “automatische Ausbeutung mathematischer Theorien” (ich hoffe mal, das ist die korrekte Übersetzung von “automated mathematical theory exploration”) und will ihre Ansätze jetzt offenbar auch kommerziell verwerten.
Zur Originalität der neugefundenen Sätze schreiben sie auf ihrer Webseite:
Theorems are discovered by our robot mathematicians, we make every effort to ensure that the discovered theorems have never been published before, and we guarantee that every theorem we discover has not been previously recorded in our database of theorems. In the unlikely event that that there is a mathematics article publishing the theorem prior to our discovery, then we will give two additional new theorems to the owner of the old theorem. For more information on how we ensure that our discovered mathematics is new, see the FAQ.
In den FAQ heißt es dann:
The TheoryMine program constructs brand new mathematical theories, that no-one has previously developed by using brand new recursive functions and recursive data-structures. By definition, all theorems of these new theories are themselves brand new.
Es soll sogar ermöglicht werden, die Sätze in ihrer eigenen Zeitschrift zu veröffentlichen. Und natürlich gibt es den Satz auch im DeLuxe-Geschenkpack, jetzt zu Weihnachten.
Kommentare (9)