一个物理符号系统具备一般智能行为的必要和充分条件。
PAC学习框架提供了一种形式化的方法来量化概念类的可学习性。