搜尋
登入/註冊
徵才!
最新
科資源
臺灣公民科學入口網
科技大觀園
研之有物
讀力書展
科學生
文章分類
人體解析
地球脈動
太空天文
文明足跡
環境氣候
生命奧祕
科學傳播
科技能源
自然演化
萬物之理
醫療健康
電影中的科學
Lab
【核四公投】模擬器
【反萊豬公投】模擬器
【藻礁公投】模擬器
從打掃方式看出你是哪種人?
你是哪個系的寶可夢大師?
防疫小尖兵測驗!
你能得到搞笑諾貝爾獎嗎?
用陰謀論測你的陣營!
世界地球日知識大挑戰!
用陰謀論測陣營─外星人篇
【光棍節】你是哪種單身?
會考考題大挑戰!
精選特輯
所有特輯
搞笑諾貝爾獎
性教育專區
COVID-19專區
童年崩壞!?
一切都是泛科學的陰謀
她是科學家
百工裡的科學人
SDGs
讀力書展
社群
YouTube
Facebook
Instagram
Line
Podcast
請贊助泛科學
搜尋
登入/註冊
+追蹤
哥德爾
2 篇文章・ 0 位粉絲
+追蹤
常用關鍵字
哥德爾
哲學
圖靈
希爾伯特
康托爾
德國
數學
邏輯
電腦
馮.紐曼
哥德爾不完備定理
希爾伯特計劃
科學史上的今天
所有文章
熱門文章
由新到舊
由舊到新
日期篩選
由新到舊
由舊到新
日期篩選
選擇年份
2015年
2017年
選擇月份
4月
5月
專欄
寫點科普,請給指教
・2017/05/18
顛覆世界的「電腦」是怎麼誕生的呢?
第一次工業革命是機械與工廠、第二次工業革命是電力、第三次工業革命乃由電腦發明所激起的資訊時代。有著「第四次工業革命」之稱的人工智慧,我們已在深度學習簡史中有所探討。但追本究源,人工智慧所奠基的電腦(計算機)科學,又是怎麼來的?今天就讓我們來思考一個有趣的問題:電腦是怎麼來的?
哥德爾
哲學
圖靈
希爾伯特
康托爾
德國
數學
邏輯
電腦
馮.紐曼
6
1
專欄
張瑞棋
・2015/04/28
哥德爾誕辰│科學史上的今天:4/28
自從十九世紀中期,黎曼等人推翻了兩千多年來顛撲不破的平行公設後,數學家們明白不能再憑直覺接受所謂不證自明的公設或定理,決心從地基開始,重新打造完美無瑕的數學體系。希爾伯特在一九二○年代提出的「希爾伯特計劃」明白地訂出目標:用嚴格的形式化語言表達所有數學陳述,並能滿足完備性與一致性。
哥德爾
哥德爾不完備定理
希爾伯特計劃
科學史上的今天
1
2
繁
简