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 @12:30PM (#23899411)
Axioms can also be mutually contradictory and this may not be obvious initially. Then you can prove and disprove everything at the same time.
[ Parent | on HN ]
Re:Any claim without a URI should be treated as suspicious by smt88 on Monday July 20, 2020 @01:19PM (#23899917)
If axioms are mutually contradictory, that doesn't actually prevent the concept of computing them and attaching them to logical chains.

The core problem with computing them is that no machine can decide whether the axioms are contradictory in the first place. In most cases, even humans won't 100% agree.

[ Parent | on HN ]