News for hackers. Stuff that matters.

A comment on Any claim without a URI should be treated as suspicious. Parent comment

Re:Any claim without a URI should be treated as suspicious by marcinzm on Monday July 20, 2020 @11:59AM (#23899111)
Don't Gödel's incompleteness theorems show that this approach is impossible even for a domain as simple as arithmetic?
[ Parent | on HN ]
Re:Any claim without a URI should be treated as suspicious by melvinroest on Monday July 20, 2020 @01:38PM (#23900090)
Science doesn’t need to be complete. It needs to be useful (that’s what I value in it).
[ Parent | on HN ]