News for hackers. Stuff that matters.

A comment on How You Know. Parent comment

Re:How You Know by eli_gottlieb on Tuesday December 16, 2014 @03:43AM (#8756327)
That theorem only applies to deductive formal proof systems.
[ Parent | on HN ]

There are no comments on this comment yet.