逻辑

计算的哲学基石:从莱布尼茨到图灵

从莱布尼茨的「普遍符号」梦想,到图灵的「可计算性」定义,哲学为计算机科学提供了最底层的概念框架。本文梳理这条思想脉络,揭示哲学如何为现代计算奠定基石。