Computability theory – What is calculable with the current models of computers.
تئوری محاسبه پذیری - آنچه با مدل‌های فعلی رایانه قابل محاسبه است.