Undecidability

کتاب محاسبه‌پذیری از پایه: کشف مرزهای منطقی الگوریتم‌ها با نظریه توابع بازگشتی