Closely related fields in theoretical computer science are analysis of algorithms and computability theory.
What field of computer science is primarily concerned with determining the likelihood of whether or not a problem can ultimately be solved using algorithms?
computability theory