Blaise Pascal takes on induction
Although specialists still debate the origins of proof by induction, they often agree that Blaise Pascal's Traité du triangle arithmétique (Treatise on the Arithmetical Triangle) was the first work to set it out explicitly. A guided tour of a landmark in the history of proof.





