Why Is A Math Proof Like A Unit Test?
summary
Claims that mathematical proof and unit tests are equivalent get sharpened: a clear induction proof shows sum 1..n = n(n+1)/2, but a spec written in Ruby/RSpec using recursion and rake cannot instantiate an arbitrary integer, so the test suite only exercises cases, not the axiom-based infinity that induction needs. Practical takeaway: TDD and heuristics guide development and decompose problems, but they cannot substitute for proofs; the induction vs unit tests contrast and the integer.new impossibility demonstrate the gap.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 0:49Title
- 1:18About Daniela
- 4:32About Recursion
- 6:16About Induction
- 7:42Sigma Notation
- 8:25What Are We Trying To Prove
- 13:43No Method Error
- 15:58Induction
- 17:12Everything is an object
