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...