The simple explanation
From a marketing perspective, the band name is very easy to explain:
- “Sound” has a charming double meaning: it refers both to “sound” (tone) and to being “sound” (healthy).
- “Complete” (“complete”) is something everyone hopes for and is always a good thing—so the name naturally evokes positive associations.
- As far as we know, no other band has used this name before.
The slightly more complex explanation
- In mathematics, a proof theory is a collection of rules that allows you to derive theorems without explicitly appealing to the underlying semantics (i.e., the actual meaning of the mathematical objects the theory refers to) in the argument.
- A trivial example (which you surely all know) is the natural numbers, whose semantics are explained by the Peano axioms. The corresponding proof theory then introduces calculation rules such as commutativity, associativity and distributivity, which make computations much easier than deriving everything again and again directly from the Peano axioms.
- A mathematical proof theory is sound if every theorem derived from the theory is also semantically correct.
- A proof theory is complete if every theorem that is semantically true can be derived from the theory.
- Once again, we arrive at the conclusion that “Sound & Complete” is associated with positive connotations only.
- And besides, some of the band members simply can’t completely deny their educational background 😉