In other words, the best system of government is a sham democracy where the public are mollified by frequent elections, but prevented from changing the status quo.
OK but then we're not talking about the real world where teenagers are able to access anything on the internet (regardless of filtering), but a hypothetical world where adults have total control over teenagers.
I guess what I'm saying is that the premise is false.
You are correct that the requirements are different, but not exactly for the reasons you mention. Users of those languages use them to prove theorems, and the theorems you get are correct with respect to the arithmetical theory used. Programmers may want some error condition when dividing by zero, because that's what they believe their users expect (say, the program drives some actuator, and bad things may happen if division by zero is not detected). So yeah, the justification for this behavior needs to be different.
I assumed the parent meant a criminal penalty. But, I still don't understand why anyone would want the government to have such a capricious legislative power.
It seems very implausible. Anyone with that level of sophistication may as well look for exploits in bitcoin exchanges and steal the bitcoins directly.
Violence is obviously already illegal, as is anti-semitism in many western countries.