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 enum on Wednesday June 24, 2009 @08:05PM (#672929)
If you're willing to understand the program behind the proof, I think it's more acceptable than a handwritten proof.
[ Parent | on HN ]

There are no comments on this comment yet.