News for hackers. Stuff that matters.

A comment on Will Computers Redefine the Roots of Math?. Parent comment

Re:Will Computers Redefine the Roots of Math? by OneMoreIdol on Wednesday May 20, 2015 @10:09AM (#9576381)
This is actually a valid proof technique with finite cases. This is known as a Proof by Exhaustion.
[ Parent | on HN ]

There are no comments on this comment yet.