Overwhelmed

Date: Same day, finally I caught up!

We started off with a proof about the Principle of Well Ordering (PWO), then I kind of get lost on what Danny is teaching (I'm extremely tired today).

Basically, it's about the relations between PWO, Simple Induction (PSI), and Complete Induction (PCI). Which means a cycle or chain of implications joining them: PWO => PCI => PSI => PWO, and a few proofs on that.

Need sleep terribly, guess I'll review this lecture at some other time.