https://cienciaprogramada.com/tags/mathematical-proof/ Recent content in mathematical proof on Ciência Programada Hugo -- gohugo.io en contato[@]cienciaprogramada.com.br (Francisco Bustamante) contato[@]cienciaprogramada.com.br (Francisco Bustamante) © 2026 Francisco Bustamante Tue, 23 Jun 2026 00:00:00 +0000 https://cienciaprogramada.com/2026/06/strong-induction/ Tue, 23 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/strong-induction/ What if the step depends on more than one earlier case, as in Fibonacci? Strong induction assumes all the earlier cases. We will see the technique at work on prime factorization, the chocolate bar, postage stamps and Binet’s formula, which in floating point fails from the 71st term on. https://cienciaprogramada.com/2026/06/mathematical-induction/ Thu, 18 Jun 2026 00:00:00 +0000 contato[@]cienciaprogramada.com.br (Francisco Bustamante) https://cienciaprogramada.com/2026/06/mathematical-induction/ If the first domino falls and each domino knocks over the next, they all fall. That is the logic of the Principle of Mathematical Induction. We will see the structure of the proof (base case, hypothesis and step) in sums, divisibility and inequalities, and the false proof that all horses are the same color.