什么是理论计算机科学？

这篇文章讨论了理论计算机科学的定义和范畴。作者认为，将理论计算机科学视为数学的一个分支是有害的，因为它忽略了计算机科学作为一门技术的本质。作者主张，理论计算机科学应该以解释和预测现实世界的计算现象为目标，就像理论物理学一样。