Concept

Decision problem

Overview

yes/no problem in computer science

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Decision problem

• Saul Kripke

Related ideas

• Formal language
• Computability theory
• Set (mathematics)
• Time complexity
• Operations research
• Turing degree
• Algorithm
• Polynomial-time reduction

Place in the tradition

Part of First-order logic.

Explore Decision problem in the interactive graph →