计算理论为理解什么可以计算、什么不能计算提供了基础。
预测未来的最好方法就是创造未来。
质量就是在无人监督时依然把事情做对。
PAC学习框架提供了一种形式化的方法来量化概念类的可学习性。