再认、思维和学习的信息过程(续)

三、思维与推理在历史上,思维,特别是“逻辑”思维和数学思维一直是与形式逻辑和数学的严密性联系在一起的。这种观点代表如此不完善的真理,不如说根本就不是真理。这一错误是把逻辑学和数学的形式推论规则,其本身的功能是检验已作出的推论是否有效,与发现可以从已有定律推论出来的新定律的过程相混淆而产生的。

亲历NSDI2013

NSDI （Networked System Design and Implementation研讨会）是计算机学术界中研究分布式系统和网络的旗舰学术会议。相对于计算机领域内其他动辄几十年历史的会议，2013年才刚满10岁的NSDI无疑只是一个年轻的小字辈。