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 smt88 on Monday July 20, 2020 @11:35AM (#23898826)
As always, this solution doesn't benefit from a blockchain structure. You could do the same thing with an immutable, publicly readable database.

The currently unsolvable problem is that there is often disagreement about axioms and proofs bring disproved. Even mathematical proofs can be very controversial.

This is one of many problems that humans can't solve yet, which means it's hard/impossible to teach computers to do it.

[ Parent | on HN ]
Re:Any claim without a URI should be treated as suspicious by Taek on Monday July 20, 2020 @12:31PM (#23899420)
Where does that immutability come from? If you have a centralized service controlling the flow of knowledge, this could have its own consequences.

Maybe some sort of CRDT + gossip network? But at that point you are quite close to a blockchain.

(Not that I'm confident such a thing is a good idea, but I do think that a decent portion of the blockchain stack makes sense given the idea)

[ Parent | on HN ]
Re:Any claim without a URI should be treated as suspicious by smt88 on Monday July 20, 2020 @01:16PM (#23899896)
> Where does that immutability come from? If you have a centralized service controlling the flow of knowledge, this could have its own consequences.

Data can be:

- decentralized

- public

- immutable

- redundant

- verifiable with asymmetric cryptography

..without being part of a blockchain. The technology to do this has existed much longer than blockchain has as a concept. Torrents are a good example.

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