以 ENIAC 說明圖靈的理論如何與早期可程式化數位電腦的發展連結。
原書把電子數值積分與計算機(Electronic Numerical Integrator and Computer, ENIAC)描述為第二次世界大戰期間開發的可程式化電子通用數位電腦,能透過重新程式化解決多類數值問題。原書同時特別說明:依現代定義,它不被視為嚴格的圖靈完備系統,但其設計對後續電腦發展影響重大。
| 項目 | 原書表述 |
|---|---|
| 系統 | ENIAC |
| 時期 | 第二次世界大戰 |
| 能力 | 重新程式化後可解決多類數值問題 |
| 圖靈完備性 | 具類似圖靈完備的功能,但原書明確說明依現代定義並非嚴格圖靈完備 |
建立歷史主張整理表時,把 主張|限定條件 分成兩欄,避免摘要時把重要限定語句刪掉。
本案例沒有原書數值可直接計算。
歷史技術敘述最容易在摘要時變得過度確定;「類似圖靈完備」與「嚴格圖靈完備」之間的差異必須保留。
摘要以下技術歷史內容時,保留所有限定條件;不得把「類似」改寫成「就是」。
**題目:**可否把原書直接摘要成「ENIAC 是嚴格圖靈完備的電腦」?
**參考解答:**不可。原書明確加入相反的現代定義限定。