可判定性

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

演算法