DM.CM.4.c: Describe the halting problem and explain how it characterizes the fundamental limitations of computation and undecidability.