科学网

 找回密码
  注册
图灵的文章“Intelligent machinery, a heretical theory”译文
柳渝 2018-4-19 17:34
图灵的文章“智能机器,被视为异端的理论”(Intelligent machinery, a heretical theory)来自他于1951年在BBC的The'51 Society电台节目中为大众做的报告 ,旨在介绍“智能机器(Intelligent machinery)”的原理。 在文章中,图灵用“learn by experience(通过经验学习)”来阐释“智能机器”:从一个相对而言较为 ...
个人分类: 图灵论著专研与精译工作群|3931 次阅读|没有评论
图灵论著专研与精译工作群告白书
热度 2 柳渝 2018-4-19 17:02
我们于2018/4/15成立一个“图灵论著专研与精译工作群”: 图灵的论著和他的工作不仅是学术史、学术思想史的重大事件,也是现代人类社会从工业时代转向信息时代的一个标志,数学与工程技术不同,图灵的论著和他的工作是数学的技术理论化,如果说,数学和几何的关系是纯粹的理论一致性,那么数学与现实世界的关系就是跨界的 ...
个人分类: 图灵论著专研与精译工作群|3138 次阅读|5 个评论 热度 2
逆源图灵的思想看人机关系-解读图灵论文“智能机器,一种异端理论”
柳渝 2017-5-1 21:13
图灵的所有工作都是建立在 “ 实时性 ” ( the actual time )基础上的,这是一种天才的直觉,这个基础构成了他全部工作内在的逻辑一致性,从 “ 图灵机 ” 对希尔伯特问题的 “ 拒绝 ” 式回答到 “ 模仿游戏 ” 的开放式模型,其思想的一致性是图灵最深刻的秘密。 “ 图灵机 ” 毫无怀疑地成为 ...
个人分类: 图灵论著专研与精译工作群|4987 次阅读|没有评论
图灵1936年论文解读(3):“不停机”的circle-free
热度 1 柳渝 2016-7-31 10:48
在图灵1936年论文第二章,图灵用circle-free来定义“可计算数(Computable sequences and numbers)”,这个定义实际上是由二部份构成的,首先由circle-free来定义“可计算序列”,进一步由“可计算序列”定义“可计算数”。 按照图灵的定义: A sequence is said to be computable if it can be computed by a circle-f ...
个人分类: 图灵论著专研与精译工作群|4664 次阅读|1 个评论 热度 1
图灵1936年论文解读(2):可计算数
热度 1 柳渝 2016-7-26 12:20
图灵在1936年的论文(《论可计算数及其在判定问题上的应用》)的前言、第一、二章中提出了几个基本概念(见博文:可计算性——图灵1936年论文解读(1)),这些概念与当时数学和数理逻辑中一些观念不同,也与以前关于“算法”的直觉概念有别,图灵突出了机器计算的直观性,这些都是以后称之为“图灵机”的基础,这里我们先 ...
个人分类: 图灵论著专研与精译工作群|8852 次阅读|6 个评论 热度 1
图灵1936年论文解读(1):可计算性
热度 2 柳渝 2016-6-15 12:19
“可计算性(Computability)”是可计算性理论的核心概念,具有深刻的数学内涵和哲学底蕴,图灵、丘奇、哥德尔等前辈的工作为此概念打下了坚实的基础,应该说对此概念的理解已经不成问题了,然而从“NP是可计算的”流行观念看,此概念并未得到人们充分而正确的解读,这或许是造成千禧年难题“P versus NP”的最根本原因。 ...
个人分类: 图灵论著专研与精译工作群|21973 次阅读|4 个评论 热度 2

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-5 00:19

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部