在计算机科学界，如果说有人能代表“逻辑”与“严谨”的巅峰，那一定是图灵奖得主 Donald Knuth（高德纳）。这位编写了程序员“圣经”《计算机程序设计艺术》、发明了 TeX 系统且从不使用电子邮件…