The concept of decidability, including how the halting problem is undecidable and problems that can be solved algorithmically.
The concept of decidability, including how the halting problem is undecidable and problems that can be solved algorithmically.