2012-06-23 今天是Turning的诞辰100周年,2012年被定为“阿兰图灵年”。幸好我今天知道了,没有错过在这一特殊时期纪念您的机会。感谢您在计算机科学,逻辑学,数学方面作出的杰出贡献。 [ 主页 ]