News for hackers. Stuff that matters.

A comment on Is a Proof a Proof If No One Can Check It? .

Re:Is a Proof a Proof If No One Can Check It? by KaiP on Thursday June 25, 2009 @01:36AM (#673219)
Explanation of the proof by the person who implemented it:

http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper....

[ Parent | on HN ]

There are no comments on this comment yet.