Up All Night, Doin’ Proofs
Techniques thus far:
- Mathematical induction ✔
- Reductio ad absurdum ✔
- Direct proof by contraposition ✔
- Proof by cases ✔
- Constructive proof ✔
- Vigorous handwaving ✔
- Direct proof by definition
- Bidirectional proof
- Proof by counterexample
This Theory of Computation homework is sheer horror.