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.