Subject: Logic
Thoughts on Mathematical Induction: Part I
Induction, even setting aside its raison d'être as an inferential tool for mathematical proofs, is a remarkably elegant concept. Most people first encounter it indirectly through recursion in programming language lessons, and in my personal experience, rarely explore any further. Pinning down the scope for this series initially perplexed me. It's best we start in known territory and gently extend outward. To that end, I will only assume that the reader is capable of basic procedural and algorithmic reasoning and that they're either curious or motivated. We'll approach induction by first understanding recursion, since that's how many encounter it. Some confusion is normal (and inevitable); repeated encounters with these ideas will clear most of it in time.
Modern Mathematical Logic
Introduction The Nature of Mathematical Logic Mathematical logic originated as an attempt ░░░░ codify ░░░░ formalize:
The language of mathematics. ░░░░ The basic assumptions of mathematics. The permissible rules of proof. ░░░░ of ░░░░ successful ░░░░ ░░░░ ░░░░ ░░░░ ░░░░ ░░░░ ░░░░ ░░░░ ░░░░ study mathematical ░░░░ and ░░░░ ░░░░ mathematics itself. For ░░░░ ░░░░ will eventually give ░░░░ ░░░░ mathematical ░░░░ ░░░░ a ░░░░ ░░░░ ░░░░ to ░░░░ confusion with our ░░░░ ░░░░ understanding of ░░░░ ░░░░ proof ░░░░ we will ░░░░ ░░░░ objects deductions. ░░░░ can ░░░░ ░░░░ ░░░░ eventual ░░░░ of ░░░░ deduction as ░░░░ ░░░░ ░░░░ precise ░░░░ definition of continuity, ░░░░ replaces the ░░░░ “a graph that ░░░░ be drawn without lifting ░░░░ pencil.” ░░░░ we have ░░░░ ░░░░ notion ░░░░ ░░░░ ░░░░ we will ░░░░ ░░░░ ░░░░ into ░░░░ mathematical objects, ░░░░ us ░░░░ prove mathematical ░░░░ about ░░░░ ░░░░ ░░░░ mathematical reasoning. For example, ░░░░ ░░░░ open up ░░░░ ░░░░ ░░░░ ░░░░ that ░░░░ ░░░░ no deduction of ░░░░ mathematical ░░░░