Skip to content

PRO TIP Block youtube.com at the DNS level — Pi-hole, NextDNS or your hosts file — but allow youtube-nocookie.com and i.ytimg.com. These tutorials keep playing; the rabbit hole does not.

Learning without distractions

Logic 101 (#43): Proof Practice #1

23.7K views on YouTube

Logic 101

To see how one solves proofs in practice, I’m going through a problem set for the first time to solve questions I have never seen before. Today, we have a candidate for proof by contradiction…