2019年/12月/06日
百年计算机科学
On the significance of the principle of excluded middle in mathematics, especially in function theory (1923)
《论排中律在数学上，特别是函数理论中的重要性（1923）》
On Computable Numbers, with an Application to the Entscheidungsproblem(1936)
《论可计算数及其在可判定性问题上的应用(1936)》
A Mathematical Theory of Communication (1948)
《通信的数学理论(1948)》
Non-Cooperative Games (1950)
《非合作博弈(1950)》
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I (1960)
《递归函数下的符号表达式及计算机器(第一部分)(1960)》
Time, Clocks, and the Ordering of Events in a Distributed System (1978)
《分布式系统中的时间，时钟和事件顺序(1978)》
Probabilistic Encryption (1983)
《概率加密(1983)》
Growing a Language (1998)
《编写自成长的语言（1998）》
Practical Byzantine Fault Tolerance and Proactive Recovery (2002)
《实用的拜占庭容错和实时恢复（2002）》
Propositions as Types (2014)
《命题类型（2014）》