I think Rice’s theorem would also be relevant to mention in these notes. It states that no nontrivial extensional property of programs is decidable. Here “extensional” means purely based on the input/output relation, and not dependent on runtime, code, or similar.
I think Rice’s theorem would also be relevant to mention in these notes. It states that no nontrivial extensional property of programs is decidable. Here “extensional” means purely based on the input/output relation, and not dependent on runtime, code, or similar.
Good point. I’ll probably add it into the post later.