Euclidean elements

00:43-04:17: Skill 1: Reasoning from Axioms

• Helps with how to express things in a kram badhh fashion. The concept of axiom, postulate, common notion etc.
  04:18-08:09: Skill 2: Reductio Ad Absurdum
• Prove wrong is wrong by Assuming the wrong to be true and lead to absurd situation to defy and prove that wrong is wrong
  08:10-10:33: Skill 3: Dependency Chains
• Solve smaller problem to then end up proving the bigger point
  10:34-13:12: Skill 4: Proof By Cases & Assumptions

Model of rigorous thinking

1. Define your terms
2. State your assumptions
3. Construct rather than assert
4. Cite the rule at every step
5. Break complex problems into simpler solutions and solve those first.
6. When you can't prove something directly, assume the opposite and follow it until it destroys itself

How to make an argument

1. Define your key terms precisely
2. State your assumptions
3. Name the rule you're applying from one claim to the next