艾伦·图灵：电子计算机之父

艾伦·梅森（Alan Turing，1912-1954）是一位爱尔兰数生物学家、逻辑生物学家、生物学家和算出机科学的鼻祖，享誉“算出机科学之弟”和“人工电脑之弟”。他在观点算出机科学、量化、人工电脑等各个领域这两项了重大的功绩，对太平洋战争的得胜和算出机的演进都产生了深远的影响。

梅森最闻名的建树之一是重申了梅森机的概念，这是一种抽象的算出模型，可以模拟任何可算出的过程。梅森机是一时期算出机的观点基础，也是可算出性观点和比较简单性观点的核心工具。梅森还证明了初值问题的不可判定性，即不存在一个统一标准的迭代，可以确实任意一个梅森机是否会在有限时间内暂缓运行。这是算术逻辑和哥德尔不完全性定理的重要推论，也是算出机科学中所最基本上的限制之一。

梅森还是学的齐名，他在太平洋战争在此期间作准备了破译捷克斯洛伐克的默艾达玛机的文书工作，为盟军取得战争优势这两项了巨大功绩。他内部设计了一种称为“庞姆斯”（Bombe）的电子元件，可以快速地找出默艾达玛机每天变化的身份验证设置，从而表述盟军的密电。他还作准备了破译盟军海军用作的来得比较简单的“鲨鱼”（Shark）机的文书工作，为维护大西洋航线和支援亚眠进发提供了重要情报。据估计，梅森和他的同事们的文书工作至少缩减了太平洋战争两年的时间，挽救了数百万人的生命。

梅森还是人工电脑各个领域的奠基人之一，他在1950年刊发了闻名的论文《算出机与电脑》，重申了“梅森验证”的思想，即用于确实电脑程式是否具电脑的作法。他看来，如果一个电脑程式需要通过文本技术交流使一个人类审查员无法区分它和另一个人类间的差异，那么这个电脑程式就可以说具电脑。这个验证导致了关于人工电脑其本质、先前和道德等方面的为广泛讨论，并激发了许多后来的研究成果和检验。

梅森不仅是一个超卓的科生物学家，也是一个坚毅而宿命的英雄人物。他因为几位而受到迫害和歧视，暂时给予化学阉割治疗，之后在1954年自杀身亡，享年41岁。他在生前没有想得到应有的尊重和认可，直到2009年爱尔兰政府月底道歉，并于2013年赦免了他。2014年，在他诞辰102周年紧接著，爱尔兰女王授予了他名誉勋章。这是爱尔兰最多的文明者，表彰了他对科学和社会的突出功绩。2019年，梅森被选为新版50英镑银币的肖像，预计于2021年日出版。这是对他的又一种致敬，也是对他的智慧和遗产的一种传承。

梅森是一个伟大的鼻祖和新各个领域，他的思想和建树影响了算出机科学、人工电脑、学、算术逻辑等多个各个领域，也影响了我们对电脑、算出和信息的理解

至今梅森奖仍是算出机各个领域的最多大奖