News for hackers. Stuff that matters.

A comment on Gödel's Loophole. Parent comment

Re:Gödel's Loophole by bobthechef on Thursday March 25, 2021 @09:08AM (#26579745)
Of course they do. Logic as in reasoning isn't the same as a formal logical system. Law isn't a formal logical system. That's why computation law has been so difficult. Human beings aren't automatons.
[ Parent | on HN ]

There are no comments on this comment yet.