没有计算的推理和基于推理的计算 逻辑与算法之五

没有计算的推理和基于推理的计算 逻辑与算法之五   近现代科学的创立和发展，按照爱因斯坦的说法，一个是古希腊人为科学准备的理论体系，一个是文艺复兴时期开创的实验方法，用系统实验来寻求自然现象之间的因果联系。 古希腊人所做的理论准备，体现在古希腊的两大演绎体系之中。从纯粹数学看，那就是欧几里得（约公元前330-前275年）几何学中的形式逻辑体系，或者称公理演绎体系。这个演绎体系在数学中的原创典籍，就

>>阅读原文<<