Teori komputasi

Masalah Penghentian (Halting Problem): Program Terkuat yang Mustahil Dibuat