RT @toi092023: @PandaTalk8 圖靈奠定的是「計算的哲學與邏輯基礎」。他提出了圖靈機模型,證明了什麼是“可計算的”,這是計算機科學的理論起點。沒有圖靈,你都不一定能定義什麼是「計算」。 馮·諾伊曼則是把「可計算」的思想,變成了「可實現」的機器。他提出存儲程…
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
共 1 則推文 · 2025年11月2日 晚上10:28
RT @toi092023: @PandaTalk8 圖靈奠定的是「計算的哲學與邏輯基礎」。他提出了圖靈機模型,證明了什麼是“可計算的”,這是計算機科學的理論起點。沒有圖靈,你都不一定能定義什麼是「計算」。 馮·諾伊曼則是把「可計算」的思想,變成了「可實現」的機器。他提出存儲程…