《数理逻辑--证明及其限度》读书笔记

前言

我要读《数理逻辑—证明及其限度》。写下这篇文章的时候我还在看龙骨，想不到我自己可以同时开两本书的阅读。契机就是看到了lean语言，读到了一些科普读物。尝试要在图书馆借一本书，不过，最终借到的教材不太好，最终选择了买二手书。

我希望这本书也能读完，因为我考虑形式证明如果能用lean这样的语言实现，那么是不是可以再区块链这类协议中应用呢？AI应用即然不准确，是不是把逻辑模块添加进去能加强整体性能呢？现在各种AI编辑软件其实都不好用，解决不了问题，我是否能做出来一个特定领域解决极致的问题呢？等等、等等想法，希望我在读完这本书后能获得一部分解答，或者获得更多的问题。

进度缓慢

备忘参考资料

Lean 4 定理证明 让我心心念非常感兴趣的编程语言。