question: What method is used to intuitively assess or quantify the amount of resources required to solve a computational problem?
sentence: 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.