Let's not forget this was the general sentiment pre WWI and WWII...
347 karma · joined May 29, 2016
It's hard enough to prove that a computer program will
actually *do* something, forget about proving what the
program *will not* do.
He was arguing against the idea that Turing complete languages should be used in smart contracts. The person mentioned that it's not trivial to even assign a complexity category to the question asked, let alone getting an answer (if you can).The huuuge problem I see here is that it is the Ethereum Foundation, and Vitalik Buterin himself, who are proposing the fork as a remedy. They should simply say "well duh, fire burns."
assuming the entirety of centuries of civilization has no
clue what they were doing
This is a common assumption in these circles, unfortunately.If you want the protection of a big brother, why not invest in the regular stock market? Lots of neophytes trying to get rich quick are now crying for help after realizing they made a mistake. It's really touching.
Just make sure you look up the DOI on libgen.