You're right to an extent. I think that because of Halting problems, a number of useful properties computer could tell you about itself are limited, because the

You're right to an extent. I think that because of Halting problems, a number of useful properties computer could tell you about itself are limited, because they boil down to solving Halting problem. However, one way to avoid such a problem was basically settling for less accurate, but still strict subproblems. I.e. Rust doesn't stop all race conditions but solves them for a subset of data races. In other words you reject some valid programs (false positive?) in order to make sure all valid programs are really valid (false negative?).