您现在的位置是:首页 > 正文

图灵在计算机科学方面主要贡献,图灵在计算机理论方面的贡献

2024-04-01 05:07:29阅读 6

图灵在计算机理论方面的贡献:

1.提出计算机的概念

1945年,图灵恢复在理论计算机科学方面的研究,并结合战时的工作,具体研制出新的计算机来。同年,图灵开始从事“自动计算机”(ACE)的逻辑设计和具体研制工作。

1950年制出了ACE样机,1958年制成大型ACE机。

2.把可计算函数定义为图灵机可计算函数.

1937年,图灵在他的“可计算性与λ可定义性”一文中证明了图灵机可计算函数与λ可定义函数是等价的,得出:算法(能行)可计算函数等同于一般递归函数或λ可定义函数或图灵机可计算函数.这就是“丘奇-图灵论点”,相当完善地解决了可计算函数的精确定义问题,对数理逻辑的发展起了巨大的推动作用。

3.开创了“自动机”这一学科分支,促进了电子计算机的研制工作.

4.提出了通用图灵机的概念

它相当于通用计算机的解释程序,这一点直接促进了后来通用计算机的设计和研制工作,在给出通用图灵机的同时,图灵就指出,通用图灵机在计算时,其“机械性的复杂性”

是有临界限度的,超过这一限度,就要靠增加程序的长度和存贮量来解决.这种思想开启了后来计算机科学中计算复杂性理论的先河。

5.解决了著名的希尔伯特判定问题

狭谓词演算公式的可满足性的判定问题。他用一阶逻辑中的公式对图灵机进行编码,再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”

成为后来人们证明一阶逻辑的公式类的不可判定性的主要方法之一。

6.图灵测试

1946年,图灵发表论文阐述存储程序计算机的设计。图灵的自动计算机与诺伊曼的离散变量自动电子计算机都采用了二进制,都以“内存储存程序以运行计算机”打破了那个时代的旧有概念。

7.人工智能人工智能

致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。1950年他发表论文《计算机器与智能》,为后来的人工智能科学提供了开创性的构思。提出著名的“图灵测试”,指出如果第三者无法辨别人类与人工智能机器反应的差别,则可以论断该机器具备人工智能。

网站文章

  • 查询距离最近的查询

    //计算距离 public function typeStoreList($type_id,$lat,$lng,$distance=10){ $page=$this->requ...

    2024-04-01 05:07:22
  • Anddroid 文本合成语音TTS实现

    Anddroid 文本合成语音TTS实现

    2024-04-01 05:06:34
  • NLP 基于kashgari和BERT实现中文命名实体识别(NER)

    准备工作,先准备 python 环境,下载 BERT 语言模型 Python 3.6 环境 需要安装kashgari Backend pypi version desc TensorFlow 2.x pip install ‘kashgari>=2.0.0’ coming soon TensorFlow 1.14+ pip install ‘kashgari>=...

    2024-04-01 05:06:26
  • 集成学习模型(二)——GBDT

    集成学习模型(二)——GBDT

    GBDT 文章目录GBDT一、概述二、回归树三、提升树四、GBDT的原理4.2 GBDT损失函数4.3 GBDT正则化五、GBDT构建与测试六、总结 一、概述   梯度提升(Gradient boos...

    2024-04-01 05:06:19
  • User Access Control 、Program Files 目录 与 Application Data 目录

    今天在debug一个奇怪的问题,一个程序在开发机器上没有任何错误,但是安装在客户机器上之后,只要客户运行它,就立刻停止响应。更加奇怪的是,程序本身没有输出任何日志。开始以为是安装包做的不好,但是几次实...

    2024-04-01 05:06:12
  • rate-based 借贷式拥塞控制算法

    rate-based 借贷式拥塞控制算法

    由 bpd = pacing_rate * rtt,可得一个恒等式 rtt = bdp * (1 / pacing_rate),而不占 buffer 时的 bdp 就是 cwnd 指示,于是可将 bu...

    2024-04-01 05:05:33
  • 北湖深坑题

    北湖深坑题

    北湖深坑题目信息输入输出测试样例解答题目信息十年前,北湖还只是一个深坑,未完成蓄水工作。为了确保蓄水工作的顺利进行,我们需要对北湖的蓄水量进行粗略估计。为了简化运算,我们假设北湖的地面是一维的,每一块...

    2024-04-01 05:05:26
  • linux上安装MySQL

    linux上安装MySQL

    linux上原有mysql卸载,安装mysql过程及遇到的问题和解决方法 一、前期准备 二、安装MySQL 三、遇到的问题

    2024-04-01 05:05:17
  • 安装moviepy库报错

    安装moviepy库报错

    由于已经存在这个库,因此在尝试使用pip进行安装时,会显示"Found existing installation"的信息,而不会重新安装。根据您提供的错误信息,"Inv...

    2024-04-01 05:04:38
  • thymeleaf 添加页面隐藏值

    切记切记这样写是不对的: ...

    2024-04-01 05:04:30