Monthly Archives: June 2017

推荐《如何阅读一本书》读过那本书才知道什么是读书

Posted in Uncategorized | Comments Off on 推荐《如何阅读一本书》读过那本书才知道什么是读书

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

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

逻辑只是形式 而哲学则统领和现实世界相连的抽象概念

Posted in 哲学架构 | Comments Off on 逻辑只是形式 而哲学则统领和现实世界相连的抽象概念

或者说 就像数学是物理学的工具那样 数学也可以作为哲学的工具 这样就把哲学严格化了

Posted in 哲学架构 | Comments Off on 或者说 就像数学是物理学的工具那样 数学也可以作为哲学的工具 这样就把哲学严格化了

一分为四其实可以看作逻辑学中概念定义的一个成果 一分为四中一个经常做的事情就是由两个概念组合成一个新概念 或者发现一个概念其实是两个概念的组合

Posted in 一分为四 | Comments Off on 一分为四其实可以看作逻辑学中概念定义的一个成果 一分为四中一个经常做的事情就是由两个概念组合成一个新概念 或者发现一个概念其实是两个概念的组合

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

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

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

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

websocketd是最简单的编写云程序的方法了 一行代码就能编写一个云程序 不用js 不用写后端接口代码 只需要写命令行程序 也没有python占用内存的问题 也没有并发问题

Posted in Uncategorized | Comments Off on websocketd是最简单的编写云程序的方法了 一行代码就能编写一个云程序 不用js 不用写后端接口代码 只需要写命令行程序 也没有python占用内存的问题 也没有并发问题