Halting Problem § Group: 5 #group-5 Relations § Undecidability: The halting problem is a key example of an undecidable problem, demonstrating the limitations of computation.