1942 年底,图灵被英国政府秘密派到美国,和美国海军交流破译德国的北大西洋潜艇舰队密码的研究成果。结束在华盛顿的交流后,图灵又来到了贝尔实验室,参与这里的安全语音通信设备的研发工作。这样,在贝尔实验室数学组任职的香农就获得了一个和图灵合作的机会。图灵当时是破译了包括希特勒通话在内的多个德军秘密通信的密码学破译专家,而香农当时的工作是通过数学方法证明“X系统”—这是美国总统罗斯福和英国首相丘吉尔之间的加密通信系统,是不可能被他人破译的,他们两位经过在密码学上“矛和盾”的攻防探讨,很快成为惺惺相惜的好友。
虽说图灵是去美国做交流的,但是军事上的事情,尤其是密码的加密和破解这种事情,只要不在军方明确允许的范围内,平常时间是不允许交流各自进展情况的,所以关于密码学上的话题,他们在工作之余是无法随意讨论的。所幸香农和图灵在计算机科学、信息科学上的兴趣和研究范围都极为广泛,经常吃饭时闲聊就聊到其他各种前沿领域。一次,他们在自助餐厅见面时,图灵给香农看了他还在剑桥大学读硕士学位时(1936 年)写的一篇论文<sup>○一</sup>—《论可计算数及其在判定性<sup>○二</sup> 问题上的应用》(“ On Computable Numbers, with anApplication to the Entscheidungs Problem ”),这篇论文是可计算领域的里程碑式作品。
6
第一部分 以智慧创造智慧
○一 官方资料称山本五十六的座机航线密电是被美国海军太平洋舰队破译中心破译的,并未提及图灵。图灵在 1942 年到美国交流与 1943 年 4 月山本五十六的座机被击落是否存在关联仅是民间的猜测。