總的來說，計算機科學理論的奠基人是圖靈。圖靈是現代計算機設計思想的創始人,1936年，圖靈向倫敦權威的數學雜誌投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給“可計算性”下了一個嚴格的數學定義，並提出著名的“圖靈機”(Turing Machine)的設想。“圖靈機”不是一種具體的機器，而是一種思想模型,這一理論奠定了整個現代計算機的理論基礎。1945年，以馮·諾依曼為核心的ENIAC機研製組發表了一個全新的"儲存程式通用電子計算機方案"--EDVAC（Electronic Discrete Variable AutomaticCompUter的縮寫）． EDVAC方案明確奠定了新機器由五個部分組成，包括：運算器、邏輯控制裝置、儲存器、輸入和輸出裝置，並描述了這五部分的職能和相互關係．EDVAC機還有兩個非常重大的改進，即：（1）採用了二進位制，不但資料採用二進位制，指令也採用二進位制；（2建立了儲存程式，指令和資料便可一起放在儲存器裡，並作同樣處理．簡化了計算機的結構，大大提高了計算機的速度。1946年7，8月間，馮·諾依曼和戈爾德斯廷、勃克斯在EDVAC方案的基礎上，為普林斯頓大學高階研究所研製IAS計算機時，又提出了一個更加完善的設計報告《電子計算機邏輯設計初探》．以上兩份既有理論又有具體設計的檔案，首次在全世界掀起了一股"計算機熱"，它們的綜合設計思想，便是著名的"馮·諾依曼機"，其中心就是有儲存程式原則--指令和資料一起儲存．這個概念被譽為‘計算機發展史上的一個里程碑"
總的來說，計算機科學理論的奠基人是圖靈。圖靈是現代計算機設計思想的創始人,1936年，圖靈向倫敦權威的數學雜誌投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給“可計算性”下了一個嚴格的數學定義，並提出著名的“圖靈機”(Turing Machine)的設想。“圖靈機”不是一種具體的機器，而是一種思想模型,這一理論奠定了整個現代計算機的理論基礎。1945年，以馮·諾依曼為核心的ENIAC機研製組發表了一個全新的"儲存程式通用電子計算機方案"--EDVAC（Electronic Discrete Variable AutomaticCompUter的縮寫）． EDVAC方案明確奠定了新機器由五個部分組成，包括：運算器、邏輯控制裝置、儲存器、輸入和輸出裝置，並描述了這五部分的職能和相互關係．EDVAC機還有兩個非常重大的改進，即：（1）採用了二進位制，不但資料採用二進位制，指令也採用二進位制；（2建立了儲存程式，指令和資料便可一起放在儲存器裡，並作同樣處理．簡化了計算機的結構，大大提高了計算機的速度。1946年7，8月間，馮·諾依曼和戈爾德斯廷、勃克斯在EDVAC方案的基礎上，為普林斯頓大學高階研究所研製IAS計算機時，又提出了一個更加完善的設計報告《電子計算機邏輯設計初探》．以上兩份既有理論又有具體設計的檔案，首次在全世界掀起了一股"計算機熱"，它們的綜合設計思想，便是著名的"馮·諾依曼機"，其中心就是有儲存程式原則--指令和資料一起儲存．這個概念被譽為‘計算機發展史上的一個里程碑"