alt Hacker Newsplease don't make this a partisan issue, I'm sure you can come up with ways to fool a minimalistic verifier (redundantly implemented) into agreeing with your position.
Imagine every autocrat or dictator and all agents of the state, having freedoms, would have to prove the law authorizes them to exercise this or that step, instead of dictating orders. Imagine everyone was raised to ignore authority figures and only execute commands that are provably in compliance with the law, raised to double check it by formal verification. It will point out any flaws on the path to the "desired conclusion". If properly grounded it would be hell for control freaks, they'd leave government positions at scale, the real problem solvers (some human, some machines if we cherish human rights etc more than vanity) would float up.
Does that sound it makes life easier or harder on your average boogeyman?
Replies
> Imagine everyone was raised to ignore authority figures and only execute commands that are provably in compliance with the law,
Ok I can at least see you've thought about this, but this part is not happening. Definitely not this century, probably not ever. Despite our best delusions, we're still just apes who follow other apes, mostly based on social relationships or the appearance of confidence. We can't even train our society to vote.
And what happens when they say 1+1 doesn't equal 2 and ignore any objections?