最近正在读 2 本与逻辑学有关的书，一本是 The Calculus of Computation，另一本是《面向计算机科学的数理逻辑》(最近出了中文版，但我还是用的影印版)。前者强调 semantics，而后者第一章全是 natural deduction。我没有搞明白两者的异同，但《数学哲学讲义》内证明的哥德尔完备性定理解决了我的疑惑
来自推特
免责声明: 以上内容仅为作者观点, 不代表CoinNX的任何立场, 不构成与CoinNX相关的任何投资建议。
免责声明: 以上内容仅为作者观点, 不代表CoinNX的任何立场, 不构成与CoinNX相关的任何投资建议。