Lamport 的特点有二。一是涉及的面很广，二是发现的算法都是平地起高楼，不需要数学基础就能看懂。
一方面我很佩服他，另一方面我也觉得他发现的算法都属于伸手就能够得到的果子。跟他入行早有很大关系。
数学上完美的程序很容易做到。写程序是工科，数学上的完美离实用还差很远。比如写个 RSA sign，两行就能写完，但一个能用而且安全的版本，我跟两个同事断断续续打磨了一两年。


【 在 hgoldfish 的大作中提到: 】
: Leslie Lamport 的名字可能不是家喻户晓，但作为计算机科学家，他比起那些名人不遑多让：排 ...
--
FROM 188.67.170.*