Tag Archives: 逻辑化

《如何阅读一本书》提到阅读的理想境界就是和作者达成共识 达成共识这件事在程序语言中已经百分百做到了

Posted in 我的项目记事本 | Tagged | Comments Off on 《如何阅读一本书》提到阅读的理想境界就是和作者达成共识 达成共识这件事在程序语言中已经百分百做到了

lisp的思路是放弃语言直接暴露ast 那么 一本书是不是能放弃写作 直接提供主旨和推论过程呢

Posted in Uncategorized | Tagged | Comments Off on lisp的思路是放弃语言直接暴露ast 那么 一本书是不是能放弃写作 直接提供主旨和推论过程呢

《如何阅读一本书》将阅读一本书的过程变成了从书中提炼逻辑学中的主旨和推论的过程 将对书籍的评判变成了推敲推论是否正确的过程 将阅读数学化了

Posted in Uncategorized | Tagged | Comments Off on 《如何阅读一本书》将阅读一本书的过程变成了从书中提炼逻辑学中的主旨和推论的过程 将对书籍的评判变成了推敲推论是否正确的过程 将阅读数学化了