Computability theory – What is calculable with the current models of computers.
Lý thuyết khả năng tính toán (Computability theory) Những gì có thể tính toán được bằng các mô hình máy tính hiện tại.