Hacker News new | ask | show | jobs
by routerl 1432 days ago
Yeah, I think you nailed the reason why they both use the same word: "mathematical induction" is deductive once the proof is finished, but coming up with the proof is absolutely an inductive process.