沒有計算的推理和基於推理的計算 邏輯與算法之五

沒有計算的推理和基於推理的計算 邏輯與算法之五   近現代科學的創立和發展，按照愛因斯坦的說法，一個是古希臘人爲科學準備的理論體系，一個是文藝復興時期開創的實驗方法，用系統實驗來尋求自然現象之間的因果聯繫。 古希臘人所做的理論準備，體現在古希臘的兩大演繹體系之中。從純粹數學看，那就是歐幾里得（約公元前330-前275年）幾何學中的形式邏輯體系，或者稱公理演繹體系。這個演繹體系在數學中的原創典籍，就

>>阅读原文<<