People always get upset when I propose mathematical formalization of law and using e.g. metamath verifier as a judge.
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
> But the Rodin Museum and the Ministry of Culture simply ignored the court’s order. To be clear, they did not appeal it, they ignored it.
No formulation of the law will solve this. The problem is clearly not that the law was unclear. Either the people with real power do what's right, or they don't.
It's a tall claim, given a proper formalization (say under democratic control), malicious counterparty just can't force the national formal verifier to pronounce this or that if it doesn't follow.
please 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?
> 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.
we don't need to attain this hypothetical perfectly effective education that prevents us from blindly following authority figures: even if we fail at such an education we can simply guard against the corruption of logic by formal verification, we can design the system to be ape-proof.
You can't make it ape-proof because, at minimum, the last mile of enforcement is performed by apes, who are going to continue following their ape instincts. Unless you plan to have government and law enforcement run entirely by robots.
DoctorOetker · · focus · HN ↗
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
andrewflnr · · focus · HN ↗
No formulation of the law will solve this. The problem is clearly not that the law was unclear. Either the people with real power do what's right, or they don't.
DoctorOetker · · focus · HN ↗
It's a tall claim, given a proper formalization (say under democratic control), malicious counterparty just can't force the national formal verifier to pronounce this or that if it doesn't follow.
miohtama · · focus · HN ↗
DoctorOetker · · focus · HN ↗
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?
andrewflnr · · focus · HN ↗
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.
DoctorOetker · · focus · HN ↗
we don't need to attain this hypothetical perfectly effective education that prevents us from blindly following authority figures: even if we fail at such an education we can simply guard against the corruption of logic by formal verification, we can design the system to be ape-proof.
andrewflnr · · focus · HN ↗