Daily Archives: September 15, 2024

Frequently Used Theorems (concl.) C3.  Dominant Form Theorem The third of the frequently used theorems of service to this survey is one Spencer Brown annotates as Consequence 3 (C3) or Integration.  A better mnemonic might be dominance and recession theorem (DART), but … Continue reading →

Frequently Used Theorems (cont.) C2.  Generation Theorem One theorem of frequent use goes under the nickname of the weed and seed theorem (WAST).  The proof is just an exercise in mathematical induction, once a suitable basis is laid down, and … Continue reading →