Die einfache Erklärung
Marketingtechnisch ist der Bandname sehr einfach zu erklären:
- „Sound“ hat eine sympathische Doppelbedeutung: „Klang“ und „gesund“.
- „Complete“ („vollständig“) ist sowieso immer gewünscht und erfreulich – folglich ruft der Bandname nur positive Assoziationen hervor.
- Der Name wurde noch nicht von irgendeiner anderen Band verwendet.
Die etwas komplexere Erklärung
- Eine mathematische Beweistheorie ist eine Sammlung von Regeln, aus denen man Theoreme ableiten kann, ohne die unterliegende Semantik (das heißt, die tatsächliche Bedeutung der mathematischen Objekte, auf welche sich die Theorie bezieht) explizit in der Argumentation heranzuziehen.
- Ein triviales Beispiel für diesen Sachverhalt (das Sie sicher alle kennen), sind die natürlichen Zahlen, deren Semantik durch die Peano-Axiome erklärt ist. Die Beweistheorie für die natürlichen Zahlen führt dann Rechenregeln wie Kommutativgesetz, Assoziativgesetz und Distributivgesetz ein, mithilfe derer man Berechnungen viel einfacher durchführen kann, als wenn man sie immer über die Peano-Axiome ableiten muss.
- Eine mathematische Beweistheorie ist sound, wenn jedes aus der Theorie abgeleitete Theorem auch semantisch korrekt ist.
- Eine Beweistheorie ist complete, wenn man aus der Theorie jedes Theorem ableiten kann, das semantisch gilt.
- Wieder kommen wir zu dem Ergebnis, dass „Sound & Complete“ nur mit positiven Konnotationen verknüpft ist.
- Außerdem können einige der Bandmitglieder einfach nicht ihren Ausbildungshintergrund komplett verleugnen 😉