学术界公认，电子计算机的理论和模型是英国数学家图灵在1936年发表的一篇论文"论可计算数及其在判定问题中的应用中奠定基础的。
数理逻辑，形式逻辑和符号逻辑
用符号和公式，公理的方法研究人的思维过程，思维规律
起源:17世纪德国的大数学家莱布尼茨，其目的是建立一种精确，普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题。
计算机是怎样一种机器，应该由哪些部分组成，如何进行计算和工作，在图灵之前没有任何人能够说清楚。
图灵在1936年的论文中，回答了这些问题，提出了一种计算机的抽象模型，利用这种计算机，可以把推理化做一些简单的机械动作。
图灵机
五元组
基于序数的逻辑系统
查尔斯
巴贝奇
ACE
存储程序
离散变量自动电子计算机
EDVAC
ENIAC
NPL
Pilot
ACE
EEC
莫里斯 威尔克斯
EDSAC
MARK I
1948 沃德 艾肯
1944 MARK I
计算机和智能
图灵测试
原文：http://www.cnblogs.com/xyz-/p/3634651.html