3 thoughts on “《数理逻辑:证明及其限度》勘误

  1. For a diagonalization interpretation of Godel’s fixed point lemma (and recursion theorem), refer to J. C. Owings’ Diagonalization and the recursion theorem, Notre Dame Journal of Formal Logic, 1973.

  2. 例2.9.3中,演绎定理在模态逻辑中不成立,可以容易地构造一个模型使例中的公式在此模型中不为真。

Leave a Reply

Your email address will not be published. Required fields are marked *

twelve − 11 =