# Decision Problem **Domain:** Logic / Computability **Doc Type:** Problem **Maturity:** Developed **Related:** [[Alan Turing]], [[Undecidability]], [[Halting Problem]], [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] ## Definition The decision problem asks whether there is an effective procedure that determines the validity of every statement in a specified formal logical language. ## Bauhaus Architects Context Church and Turing showed that no such general algorithm exists for first-order logic. ## Backlinks - [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] - [[articles/Bauhaus Architects of AI|Bauhaus Architects of AI]]