Occam's razor
大约在1960年，建立了普适的归纳推理理论，这个理论基于观测得出预测；例如，预测基于一串已知符号的下一个符号会是什么。它唯一的假设就是环境遵从某种未知的但是可计算的概率分布。这个理论是奥卡姆剃刀的数学公理化。