News for hackers. Stuff that matters.
Re:Computation as a Universal and Fundamental Concept by scapp on Saturday July 11, 2026 @12:58AM (#48868898)
That's a different meaning of the word "undecidable". You're talking about undecidable problems [1]. The meaning in Gödel's incompleteness theorem is different and is a synonym with independent [2].

[1] https://en.wikipedia.org/wiki/Undecidable_problem

[2] https://en.wikipedia.org/wiki/Independence_(mathematical_log...

There are no comments on this comment yet.