Episode 2.2 Quod Erat Deomonstrandum- Going from Computation to Proof

On this episode, we talk about the man who made everyone hate high school geometry- Thales.  He is why we have the concept of proof. We will go over what he did and what proof means.