Re:Ethereum Sharding FAQ
by Sniffnoy on Wednesday April 25, 2018 @08:52PM
(#16927914)
"Proof of stake" does not appear to have anything to do with "proof" in the logical sense. I really, really do not think the incompleteness theorems are at all relevant here. Apologies, but this reads just like every other nonsensical attempt to invoke the incompleteness theorems without a good understanding of what they actually say. (Like, how are you possibly going to get proof of stake to simulate arithmetic?)
[ Parent
| on HN ]
Re:Ethereum Sharding FAQ
by ShabbosGoy on Thursday April 26, 2018 @02:20AM
(#16929265)
Proof of stake is just another way to achieve distributed consensus. Not sure how that’s impossible or violates the laws of physics.
While Hermel certainly appears to have no idea what he's talking about, that doesn't make this reply of yours correct either. In particular, the incompleteness theorems are not physics.
Re:Ethereum Sharding FAQ
by ShabbosGoy on Thursday April 26, 2018 @03:52AM
(#16929802)
I never made the assertion that Godel’s incomplete theorems are physics. My comment was to point out that if one makes the claim “X is impossible”, the burden of proof lies upon the person making the claim or assertion. Simply making an assertion or premise does not prove nor disprove it.