RT @toi092023: @PandaTalk8 圖靈奠定的是「計算的哲學與邏輯基礎」。他提出了圖靈機模型,證明了什麼是“可計算的”,這是計算機科學的理論起點。沒有圖靈,你都不一定能定義什麼是「計算」。 馮·諾伊曼則是把「可計算」的思想,變成了「可實現」的機器。他提出存儲程…
正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年11月2日 22:28
RT @toi092023: @PandaTalk8 圖靈奠定的是「計算的哲學與邏輯基礎」。他提出了圖靈機模型,證明了什麼是“可計算的”,這是計算機科學的理論起點。沒有圖靈,你都不一定能定義什麼是「計算」。 馮·諾伊曼則是把「可計算」的思想,變成了「可實現」的機器。他提出存儲程…