We really need to teach people _how_ to teach induction, which is only done right when you put quotes around your Boolean statements; the "implies" symbol gets jumbled up with everything else otherwise, and not using it at all is passing up on a great tool. One can do simple proofs-by-induction without a single English word, completely symbolically, and have it be understood easily, if one uses quotes and correct LaTeX formatting (or good handwriting)
Induction doesn't just involve numbers and equality signs, it involves _statements_ with variables inside of them, and non-programmers need to be made well-aware of this (and taught Boolean logic early, PLEASE)
Induction doesn't just involve numbers and equality signs, it involves _statements_ with variables inside of them, and non-programmers need to be made well-aware of this (and taught Boolean logic early, PLEASE)