Re:A Canadian payroll dependency chart
by kelseyfrog on Tuesday January 02, 2024 @04:46PM
(#38847542)
It wouldn't even work if the universe was expressed as data.
Unfortunately there will be an input layer that requires predicates or measurements that cannot avoid ambiguity.
Ignoring that, there's Godel's Incomplete Theorem to deliver the final blow. If integer arithmetic cannot be complete and consistent, a set of laws governing society has no hope. If you disagree, you'd at least have to admit that such a set of laws could not include integer arithmetic, and could certainly be no more complex than integer arithmetic. I'd posit that such a restriction renders such a project impossible.
We've chosen completeness (every action can be rendered legal or illegal) over consistency. The alternative - consistency - would make some actions legally undecidable.
Unfortunately there will be an input layer that requires predicates or measurements that cannot avoid ambiguity.
Ignoring that, there's Godel's Incomplete Theorem to deliver the final blow. If integer arithmetic cannot be complete and consistent, a set of laws governing society has no hope. If you disagree, you'd at least have to admit that such a set of laws could not include integer arithmetic, and could certainly be no more complex than integer arithmetic. I'd posit that such a restriction renders such a project impossible.
We've chosen completeness (every action can be rendered legal or illegal) over consistency. The alternative - consistency - would make some actions legally undecidable.