摘要:

计算机作为现代社会必不可少的工具,其重要性不言而喻,基于计算机实现的人工智能在一定程度上也影响了现代社会的发展。图灵是最早领会到计算机巨大潜力的人之一,他在前人的研究基础之上,提出了图灵机以及通用计算机,并以此提出图灵测试,用以衡量机器能否如人类一般思维。本文从科学逻辑的角度,对图灵的机器思维思想进行细致的梳理和系统的概括,并做出初步的评价和思考,全文分为四个部分:第一部分主要介绍了图灵机器思维思想的理论渊源。在对于莱布尼兹、弗雷格、哥德尔和巴比奇思想的考察之下,重点探讨了莱布尼兹的梦想和弗雷格的概念文字、哥德尔的不完全定理以及巴比奇的计算理念对图灵的机器思维思想所产生的重要影响。第二部分详细地论述了图灵机和通用计算机。首先,图灵设想这样一台机器,即任何可以被算法计算的事物都可以被这台机器计算,这台机器被称为图灵机;其次,图灵描述了图灵机及其运作方式;最后,图灵基于图灵机提出了通用计算机,并强调了通用计算机的普遍性,通用计算机比图灵机更具一般性,可以模拟其他任何图灵机的计算机被称为通用计算机,通用计算机可以代替人类去做任何不需要智力去执行的操作。第三部分论述了图灵测试以及关于机器可以思维可能存在的争论。图灵提出一个类似于游戏的测试,其主要目的是提供一个评估"机器能否思维"的方法,图灵认为虽然图灵测试不完全等价于问题"机器能思维吗?",但它足够接近于这个问题,除此之外,图灵也一一反驳了机器可以思维的反方观点,在此基础上,他也认为在不久的将来,将会有可以思维的机器出现。第四部分主要对图灵的机器思维思想做出整体性评价。在这一部分我们首先分别考察了图灵以及当代哲学家科学家"机器能否思维"的观点,在此基础之上,对图灵的机器思维思想进行细致梳理,探究其思想给当代哲学研究和科学研究的重要启示,以期能够使图灵机器思维思想的价值以及图灵在哲学史和科学逻辑史中的重要地位得以充分展现。

展开

谁提出了通用的计算机设备即图灵机的设想,图灵的机器思维思想初探相关推荐

  1. AGI:走向通用人工智能的【生命学哲学科学】第二篇——思维、生命科学、客观世界

    AGI:走向通用人工智能的[生命学&哲学&科学]第二篇--思维.生命科学.客观世界 导读:关于人类思维的五个层次,博主的评价:这五个层次,有两条主线, 思维需要扩展且没有尽头,逻辑需要 ...

  2. NeurIPS 2020 | 清华大学提出:通用、高效的神经网络自适应推理框架

    来源:人工智能AI技术 本文约3400字,建议阅读7分钟 本文介绍我们被NeurIPS 2020会议录用的一篇文章. 本文主要介绍我们被NeurIPS 2020会议录用的一篇文章:Glance and ...

  3. ICCV2021 Oral-TAUFacebook提出了通用的Attention模型可解释性

    0 写在前面 通过Self-Attention和Co-Attention机制,Transformer在多个多模态下游任务中达到了SOTA的性能.这些注意模块也在其他计算机视觉任务中发挥了作用,包括目标 ...

  4. 鲍尔默炮轰纳德拉提出的通用Windows平台战略

    赛迪网讯 尽管Windows 10似乎已经取得一定的成绩,但是不管在计算机.平板电脑还是智能手机上面,Windows Store应用市场都拖了Windows 10的后腿. Windows Store应 ...

  5. 图灵机,又称图灵计算、图灵计算机

      是由数学家阿兰·麦席森·图灵(1912-1954)提出的一种抽象计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算.   所谓的图灵机就是指一个抽象的机器, ...

  6. 图灵机不能解决的问题现有计算机也不能解决,科学网—电脑人心 之 计算机能思维吗?(二)图灵的机器(5)丘奇-图灵论题 - 罗军的博文...

    上回我们看到,停机问题这个良定义的问题,不能由图灵机来解决.那么像停机问题这样的图灵机不可解或者说"不可计算"的问题,究竟是有很多呢,还是只是个别呢? 其实,有另外一种论证,可以说 ...

  7. The Church-Turing thesis

    可判定性:一个语言L,是一个集合,且其补集为 .当L是图灵机可识别时,语言L则称为半可判定.当语言L不是图灵机可识别,则为不可判定语言.当且仅当L和都是图灵机可识别的时候,L才能称为可判定语言. 数理 ...

  8. 程序史记:从巴贝奇、爱达到图灵

    书架上一直放在一本<信息简史>,最近终于读完了.这是一本从信息的视角来描述其进化史的书,一本充满了技术性描述的科普性书籍.也不乏一些有趣的故事,其中就有那么几个人,他们实际是和计算机和程序 ...

  9. 从巴贝奇、爱达到图灵

    <信息简史>,最近终于读完了.这是一本从信息的视角来描述其进化史的书,一本充满了技术性描述的科普性书籍.也不乏一些有趣的故事,其中就有那么几个人,他们实际是和计算机和程序有关,而计算机和程 ...

最新文章

  1. win 复制linux文件命令行,windows与Linux间远程拷贝文件(pscp命令)
  2. 从程序员到项目经理(20):让员工为目标而干活
  3. js 中的五种继承方法
  4. 我的世界1.13的服务器网站,我的世界1.13纯净版
  5. Spring学习(一)初识Spring
  6. 源码级别的广播与监听实现
  7. uniapp app蓝牙打印_编程器加装蓝牙串口模块与手机APP操作演示
  8. Steger算法(Line_Gauss)-光条中心线提取(基于Hessian矩阵)
  9. ARM平台交叉编译valgrind
  10. NTKO OFFICE控件帮助文档部分汇总
  11. 李一男离开华为时给属下的忠告!
  12. 计算机网络,概念,发展历史,分类,协议
  13. Android 如何解决默认壁纸更改为ImageWallpaper之外的壁纸,在特定的操作下,导致死机的问题。
  14. vite+ts+vue3 知识点(全局组件,局部组件,递归组件)
  15. [经验] PROTEUS仿真学习笔记05 (SPI 协议 外设)——2014_7_15
  16. Oracle数据库客户端安装与配置
  17. 1366 mysql_mysql出现ERROR 1366 (HY000):的解决办法
  18. 搜狗浏览器自动保存密码的技巧
  19. Vue - H5 生成带二维码和文案的宣传海报(可自定义二维码扫描后的内容、海报背景图、文案文字、宽高间距等)用 HTML 写可 DIY 的海报,做完后转为图片供用户保存和转发下载
  20. 谁也没想到“喝奶茶”的第二天是“分手日”

热门文章

  1. 管理部门使用的计算机30000元,会计基础章节参考答案.doc
  2. [RK3288][Android6.0] 调试笔记 --- RT5640录音时的Codec寄存器列表
  3. 辽宁交通高等专科学校计算机专业宿舍,辽宁省交通高等专科学校环境宿舍怎么样?...
  4. Makefile中的参数
  5. 树莓派4代开发板Raspberry Pi 4B 8G ARM主板电脑 树莓派4-8G现货 主板
  6. 地下城与勇士服务器都在维护怎么办,DNF:停机维护却被洗号,刷了2个月的100ss全没了,都没异常提示...
  7. linux字体显示小方块,ubuntu18.04下 中文字体显示为方块 方框
  8. ELKF搭建详细步骤(Elasticsearch+logstash+kibana+filebeat)
  9. angular_angular中使用grumble
  10. 手撸一个springsecurity,了解一下security原理