可判定性

可判定性（德文：Entscheidungsproblem，「決定問題」噉解）係由德國數學家打域囂拔（David Hilbert）喺 1928 年提出嘅一個問題。呢個問題要求人俾出一個演算法嚟攞一句陳述做 input，然後再答「嗰句陳述係咪 universally valid」。