Hacker News new | past | comments | ask | show | jobs | submit login

Reductio ad Absurdum [1] is available for deductive reasoning [2]. The inductive step is available to inductive proofs [3], but the difference between 2014 demonstrates it inapplicability here [via contradiction no less!].

[1]: https://en.wikipedia.org/wiki/Reductio_ad_absurdum

[2]: https://en.wikipedia.org/wiki/Deductive_reasoning

[3]: http://en.wikipedia.org/wiki/Mathematical_induction [3]




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: