為何涂靈是電腦之父？
2016.03.01
為何涂靈是電腦之父？
作者 / 李中志／美國伊利諾州立大學電腦科學教授。
555期
涂靈於1945~1948年，回到學院重拾他最大的夢想—造出一台能實踐所有計算概念的機器。
涂靈電腦不完備定律序數邏輯計算機
尋找聖杯的祭司—哥德爾
2013.10.01
尋找聖杯的祭司—哥德爾
作者 / 李中志／任教美國伊利諾州立大學電腦科學系。
526期
傳說中耶穌最後晚餐飲酒的「聖杯」是否存在，沒人知道，但它卻成為神學家、考古學家、文學家，甚至好萊塢電影製作人日思夜想的題材。
聖杯信仰數學演繹系統古希臘文明四則運算邏輯實證主義維也納學派不完備定律連續統假設
TOP
科學月刊 台北市大安區羅斯福路三段 77 號 7 樓
服務電話：+886-2-2363-4910
電子郵件：scimonth@scimonth.one
服務時間：週一至週五 09:30~17:30，例假日除外。
隱私政策 服務條款
  • © 1970- by Science Monthly 若需轉載、使用科學月刊或科技報導的文字、圖像或影音等，請洽本公司。
網頁設計 : 藝誠網頁設計公司