New posts in Decidable

Why knowing whether some piece of memory is needed is undecidable?

Relationship between NP-hard and undecidable problems