布尔、图灵、冯诺依曼与计算机的关系

编程

 

参考:http://www.china001.com/show_hdr.php?xname=PPDDMV0&dname=87HP341&xpos=5

冯·诺依曼奠定了现代计算机的基础,被世人尊为“计算机之父”,但在谈到他的理论与构思时,他谦虚地说,这些理论与构思的基础来自于英国数学家图灵和布尔的思想。

  午治·布尔(Boolean George)1847年发表《思维规律研究》创立逻辑代数学,成功地把形式逻辑归结为一种代数,布尔认为,逻辑中的各种命题能够使用数学符号来代表,并能依据规则推导出相应于逻辑问题的适当结论。布尔的逻辑代数理论建立在两种逻辑值“真True”、“假False”和三种逻辑关系“与AND”、“或OR”、“非NOT”。这种理论为数字电子计算机的二进制、形关逻辑元件和逻辑电路的设计辅平了道路。1854年,布尔出版了名著《布尔代数》,并在此基础上,经过许多年的发展,形成了现代计算机的理论基础——娄理逻辑。

  香农(C.E.Sharnorn)信息论创始人之一,1938年在其一篇硕士论文中指出:能够用二进制系统表达布尔代数中的逻辑关系,用“1”代表“真True”,用“0”代表“假False”,并由此用二进制系统来构筑逻辑运算系统。并指出,以布尔代数为基础,任何一个机械性推理过程,对电子计算机来说,都能像处理普通计算一样容易。香农把布尔代数与计算机二进制联系在了一起。

  阿兰·图灵(Alan Mathison Turing)“人工智能之父”,被冯·诺依曼认为的“计算机之父”是一位天才人物,22岁就被选为英皇家学院研究员,1936年在论文《论可计算数及在密码上的应用》中,严格地描述了计算机的逻辑结构,首次提出了计算机的通用模型——“图灵机”,并从理论上证明了这种抽象计算机的可能性。

  二战期间,图灵在英国外交部工作,设计了密码破译机(BOMBE),这实际上就是一台以继电器为器件的专用数字电子计算机,该机一次次地破译了敌军的密码,为反法西斯战争的胜利做出了贡献。

  1945年,图灵在英国国家物理研究所开始设计自动计算机,阐述了用子程序实现某些运算而程序员不必知道机器运行细节的思想,为计算机高级语言的诞生奠定了基础。1950年,图灵制成了一台体现他设计思想的计算机模型机“PIOLOT ACE”。同年10月,图灵发表了《计算机器与智能》的论文,设计了著名的图灵测验,通过问答来测试计算机是否具有同人相等的智力,这一思考至今仍是计算机学术界探讨的核心问题之一。该论文引起了计算机学术界的极大震撼,奠定了人工智能理论的基础。

  为纪念图灵对计算机科学的巨大贡献,美国计算机协会设立了“图灵奖”每年授予在计算机科学方面做出重大贡献的科学家,堪称计算机界的“诺贝尔奖”。

以上是 布尔、图灵、冯诺依曼与计算机的关系 的全部内容, 来源链接: utcz.com/z/516074.html

回到顶部