参考下面的段落,然后以相同的语言回答这个问题:段落:根据彼得·丹宁的说法,计算机科学的基本问题是:"什么可以 (有效) 自动化?"计算理论侧重于回答关于什么可以计算的基本问题以及执行这些计算所需的资源的数量.为了回答第一个问题,可计算性理论检查了哪些计算问题可以在各种理论计算模型上解决.第二个问题是计算复杂性理论所解决的,它研究了与解决大量计算问题的不同方法相关的时间和空间成本.问题:彼得·丹宁对计算机科学的观点是什么?
"什么可以 (有效) 自动化?"