The end of law is not to abolish or restrain, but to preserve and enlarge freedom.
理论计算机科学是一个领域,其中深刻的数学见解导致了实用的计算工具。