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.

Tags: math