CH 3
CH 3
CH 3
Computability Theory
Computability theory
Computability theory is the branch of the theory of computation that
studies which problems are computationally solvable using different models
of computation.
A central question of computer science is to address the limits of computing
devices by understanding the problems we can use computers to solve.
One of the triumphs of 20th century mathematics is that it is possible to
show clear limits to the ability of computers, even given arbitrarily vast
computational resources, to solve even seemingly simple problems.
While most of the fundamental research problems have been dealt with,
computability theory remains an active field of research and is commonly
used to discover the computational expressiveness of new ideas in computer
science, mathematics and physics.
Cont.
Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.
Alternative Proxies: