Stuff like the borrow-checker in the general case is also not computable, only for a small subset of programs, e.g. Rust programs.