News for hackers. Stuff that matters.

A comment on Gödel's Incompleteness Theorem in Bash. Parent comment

Re:Gödel's Incompleteness Theorem in Bash by maweki on Friday February 25, 2022 @05:46AM (#30465831)
You can explain to your boss that them wanting to check for undecidable properties is impossible.

It's important to know what isn't possible, to not throw infinite resources at the problem.

[ Parent | on HN ]
Re:Gödel's Incompleteness Theorem in Bash by bqmjjx0kac on Friday February 25, 2022 @07:50AM (#30466715)
Sometimes probabilistic answers are okay, though.
[ Parent | on HN ]
Re:Gödel's Incompleteness Theorem in Bash by dllthomas on Friday February 25, 2022 @10:38AM (#30468405)
But usually a good idea to understand that that's what you're aiming at producing.
[ Parent | on HN ]