一、案例定位

以 ENIAC 說明圖靈的理論如何與早期可程式化數位電腦的發展連結。

二、學習目標

三、案例情境

原書把電子數值積分與計算機(Electronic Numerical Integrator and Computer, ENIAC)描述為第二次世界大戰期間開發的可程式化電子通用數位電腦,能透過重新程式化解決多類數值問題。原書同時特別說明:依現代定義,它不被視為嚴格的圖靈完備系統,但其設計對後續電腦發展影響重大。

四、開始資料

項目 原書表述
系統 ENIAC
時期 第二次世界大戰
能力 重新程式化後可解決多類數值問題
圖靈完備性 具類似圖靈完備的功能,但原書明確說明依現代定義並非嚴格圖靈完備

五、Excel/AI 分析方法

建立歷史主張整理表時,把 主張|限定條件 分成兩欄,避免摘要時把重要限定語句刪掉。

六、計算結果

本案例沒有原書數值可直接計算。

七、結果分析與管理解讀

歷史技術敘述最容易在摘要時變得過度確定;「類似圖靈完備」與「嚴格圖靈完備」之間的差異必須保留。

八、AI 提問詞

摘要以下技術歷史內容時,保留所有限定條件;不得把「類似」改寫成「就是」。

九、思考/情境變動

**題目:**可否把原書直接摘要成「ENIAC 是嚴格圖靈完備的電腦」?

**參考解答:**不可。原書明確加入相反的現代定義限定。