Re: [问卦] 谁到底才是电脑之父?

楼主: freeunixer (御剑客)   2017-02-15 20:59:51
※ 引述《ronin728 (浪人)》之铭言:
: 被誉为电脑之父的 亚兰‧图灵 也是之一,
: 他的贡献包括
: 数学描述的抽象计算机(图灵机)、
: 人工智能的判定方法、
: 破解德军的机器 BOMBE。
: 但同时代也有很多神人:
: 早就破解德军密码的无名波兰学者们
: 要不是这群人,波兰会更惨
他们是有名的,不是无名的...
Jerzy、Henryk、Marian
他们的成果后来交接给英国,于是英国可以不用重新造轮子...
: 阿隆佐‧丘奇
: 他的 Lambda 演算式
: 是研究程式语言最主要的数学模型
: 时间比图灵早几年,并且计算能力相等
只早几个月.
丘奇是 Logic 学家,所以他的思路跟别人不一样.
他的 Lambda 强调的是可计算的形式是什么.
用 Lambda 来反证不是任何整数方程问题都能算.
: 克劳德‧夏农
: 对二进制计算与电子工程有极大贡献
: 数位逻辑课本介绍历史都会有他的名字
他提出现代(当时)的电脑,应该采二进制,才能符合电子学,要嘛 on,不就 off.
: 约翰‧冯‧纽曼
: 现在的主流电脑架构还是冯纽曼架构
: 他也参与过许多电子计算机的制造与设计
他提出电脑的内存储存架构,
让程式与资料可以透过同样的记忆储存装置被操作执行
这是一种通用图灵机的实作
: 此外他本身也是个物理学家
: 根据传说,冯纽曼在文史方面也是神人
他自称 1920 年以前的数学,他一人通包.
可做七位数乘法心算,
传闻可以记得超过十年前所看过的书上的某句话出现在第几页
: 艾米尔‧波斯特
: 波兰人,他也在图灵的论文发表后不久后
: 发表一个类似于图灵机的模型
: 考虑撰写、审查与图灵论文流出后的时间
: 波斯特的模型是独立发现的
你这么说的意思是比波斯特早的图灵模型难道是抄来的吗?
: 图灵自己设计的通用计算机ACE困难重重,
: 当时其他神人的电脑如 马克、Z3、ABC、
: Colossus、ENIAC ... 都已经弄出来了
: 如果没图灵机的论文,这些机器还是做得出来
: 因为其他神人在真正做电脑时
: 图灵应该还在改论文吧?
: 那么为什么图灵被称为电脑之父?有没有卦?
他是第一个使用自创的 computer 单字及机器理论
来论述什么是可计算,并用数学证明哥德尔的不完备定理
http://imgur.com/a/A7hDr
之后.
丘奇的 Lambda Style 产生了 Lisp 的函数式程式语言
http://imgur.com/a/DYZo6
图灵的 Recursive Style 衍生了 Pascal 的结构式程式语言
http://imgur.com/a/NVKr5
在八卦板上发废文之前,
               应该要老老实实多读点书
让人回你的废文还要浪费别人的生命,你怎么会有那个脸?
作者: newdoing (新作风)   2017-02-15 21:07:00
Good
作者: Mood10207 (夏啦啦啦啦)   2017-02-15 21:13:00
推!
作者: a09374567 (恶无恶报)   2017-02-15 21:20:00
前面看还算不错 只觉得最后一句反酸没必要
作者: omegajoker (omegajoker)   2017-02-15 21:21:00

Links booklink

Contact Us: admin [ a t ] ucptt.com