他试图称量自己的灵魂,看看它是否是诗人的灵魂。
理论计算机科学是一个领域,其中深刻的数学见解导致了实用的计算工具。
数学的进步是通过它能解决的问题数量来衡量的。