Karar Verilebilirlik ile Karar Verilemezlik
Matematik
Aritmetik
Kritik
Özet
Karar verilebilirlik tüm önermelerin mekanik olarak test edilebilmesi İLE karar verilemezlik bazı soruların algoritmik çözümünün olmayışıdır. Turing ve Church karar verilemezlik problemini gösterdi İLE her matematiksel sorunun mekanik çözümü yoktur.