11月,图灵关于判定问题的论文,即多年后将声名大噪的 On Computable Numbers, with an Application to the Entscheidungsproblem 终于发表,学界反应极其冷淡。12月图灵在普林斯顿数学俱乐部做了关于这篇论文的演讲,听众不足十人。这篇解决了希尔伯特第三个问题的论文为何遭到如此冷遇?有几个原因:其一,哥德尔不完备定理如此有趣奥妙,已经吸引走了学界关于希尔伯特三问题的大部分兴趣;其二,邱奇当年春天的论文已经率先解决了希尔伯特判定问题,虽然图灵的解法天差地别,也比邱奇的解法简洁得多;其三,用“机器”解决数理逻辑问题,实则是此篇论文最闪光的部分,可是过于新颖,不容易被主流学界接受;其四,恐怕也是最重要的原因:和著名教授邱奇比起来,图灵才初出茅庐。他在家书中愤愤说:“只有名人才会吸引听众。(One should have a reputation if one hopes to be listened to.)”
1948年,受够了国家实验室的官僚作风,图灵跳槽到曼彻斯特大学计算实验室 (Computing Labatory),这里受到美国ENIAC的激励正在建造英国第一台贮存程序式电脑Manchester Mark I。图灵本该大有作为,可是制造这么大一个机器需要和很多人协调,他孤僻的性格很快让同事与之疏远,大部分建议被当作书呆子的意气而姑妄听之。不久,他聊以自慰地发现,造计算机的难点主要是硬件而非数学模型,那还是把琐碎的工程问题留给工程师吧。他呢,他只要能够“想”就行了。想——他开始为一个根本不存在的计算机想一种下象棋的程序。四年后,他会扮演这台虚构的计算机,严格执行自己的程序,和朋友下了一场真正的象棋比赛,每一步耗时半小时。他和朋友下输了,却赢了朋友的妻子一局。对于数学家图灵,即使永远没有计算机的实体,这件事也已经做完了。“想出来”就是“做出来”。
让图灵生命最后两年处境悲惨并最后导致他服毒自杀的“不体面罪”,他当时是极其天真地就在警方面前承认了。他不但口头承认了,还兴冲冲手写了五页花体字的供述。读过这五页纸的警察认为 “像散文一样流畅”(a flowing style, almost like prose)、“虽然有些措词太难读不懂”(beyond them in some of its phraseology)、“他真以为他在做正确的事”(he really believed he was doing the right thing) 。图灵事后告诉朋友,他之所以这么坦白是因为他以为同性恋很快就要合法了,一切都可以摊在台面上谈。
图灵惨死后六十年过去了,这一切还远不能摊在台面上谈,同性恋行为在大部分国家仍受到广泛争议,虽然尊重和合法的呼声在青年一代中越来越高。2009年,英国首相布朗在一份几千人签名请愿书下向这位计算机之父和二战英雄做了官方道歉:“我们很抱歉。你本该被更好对待。(We are sorry. You deserved so much better.)”