Ushbu mustaqil ish Post teoremasi va uning natijalarini o'rganadi. Unda teorema haqida umumiy ma'lumot, tarixiy rivojlanishi va matematik asoslari ko'rib chiqiladi. Teorema algoritmik hal qilinmaslik bilan bog'liq bo'lib, ma'lum masalalarni avtomatik ravishda hal etish mumkin emasligini ko'rsatadi