April 2020
Intermediate to advanced
244 pages
7h 20m
English
Computability theory is the area of computer science research that deals with establishing what a computer can do.
When we talk about computers, we actually mean Turing machines. Turing machines are in fact the theoretical reference model used in computability theory. The Church-Turing thesis is applicable to Turing machines, which claims that any computable task can be computed by a Turing machine. The Church-Turing thesis, therefore, provides us with a criterion for determining what is computable and what is not, thus allowing us to understand what a computer can actually do.
Read now
Unlock full access