※ 引述《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
在八卦板上發廢文之前,
應該要老老實實多讀點書
讓人回你的廢文還要浪費別人的生命,你怎麼會有那個臉?