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