A decision problem is a question posed in a formal system that can be answered with a simple 'yes' or 'no' response. It is fundamental in computational theory, serving as a basis for understanding the limits of algorithmic solvability and computational complexity.