News for hackers. Stuff that matters.

A comment on How You Know. Parent comment

Re:How You Know by tdaltonc on Monday December 15, 2014 @05:51PM (#8754959)
It's known to be impossible to create a consistent and axiomatic set of knowledge [1].

http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_t...

[ Parent | on HN ]
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 ]