Hesaplama ile ilgili bir kitap (Minksy 1967) üzerinde çalışıyorum ve döngüsel olarak tanımlanan bir işleve özyinelemeli bir işlevi ilişkilendirmek için zor bir zaman geçiriyorum. Ackermann fonksiyonu
AFAIK, tahakkuk hesaplanabilir sayılar, i-inci indeksi Turing Makinesi tarafından iade edilebilen sayılardır. Bu nedenle, hesaplanamayan bir sayı, başka bir programın başka bir girdi üzerinde durması