The theory formalizes this intuition, by introducing mathematical models of computation to study these problems and quantifying the amount of resources needed to solve them, such as time and storage.
What method is used to intuitively assess or quantify the amount of resources required to solve a computational problem?
mathematical models of computation