O Entscheidungsproblem (em português, "problema de decisão") é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado. Em 1936, trabalhando independentemente, Alonzo Church e Alan Turing mostraram que isso é impossível.

Lógica

Entscheidungsproblem | Entscheidungsproblem | Entscheidungsproblem | Problème de la décision