图灵和图灵奖

学术界公认，电子计算机的理论和模型是英国数学家图灵在1936年发表的一篇论文"论可计算数及其在判定问题中的应用中奠定基础的。

数理逻辑，形式逻辑和符号逻辑

用符号和公式，公理的方法研究人的思维过程，思维规律

起源:17世纪德国的大数学家莱布尼茨，其目的是建立一种精确，普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题。

 

计算机是怎样一种机器，应该由哪些部分组成，如何进行计算和工作，在图灵之前没有任何人能够说清楚。

图灵在1936年的论文中，回答了这些问题，提出了一种计算机的抽象模型，利用这种计算机，可以把推理化做一些简单的机械动作。

图灵机

五元组

 

 

基于序数的逻辑系统
查尔斯 巴贝奇
ACE
存储程序
离散变量自动电子计算机
EDVAC
ENIAC
NPL
Pilot ACE
EEC
莫里斯 威尔克斯
EDSAC

MARK I
1948 沃德 艾肯
1944 MARK I

 

计算机和智能

图灵测试