Durma Problemi ile Karar Problemi

Matematik Aritmetik Kritik

Özet

Durma problemi bir programın durup durmayacağının belirlenmesi İLE karar problemi genel algoritma varlığı sorusudur. Turing durma probleminin çözülemez olduğunu kanıtladı İLE bazı soruların algoritmik çözümü yoktur.