图灵文章《论可计算数及其在判定问题上的应用》的第9章译文

柳渝 2023-6-4 05:59

9. 可计算数的范围 还没有人试图证明 “ 可计算 ” 的数包括所有被自然当做可以计算的数。所有可以给出的论证本质上都局限于直觉，而且由于这个原因，在数学上相当不令人满意。真正的问题是， “ 什么是在计算一个数时可能的过程？ ” 我将使用的论证有三种。 ...

个人分类: 图灵论著专研与精译工作群|1030 次阅读|没有评论

图灵文章《论可计算数及其在判定问题上的应用》的第5章译文

柳渝 2020-7-30 16:30

图灵在这章论述图灵机的编码，提示 图灵机枚举的层次性 。 5. 可计算序列的枚举 一个可计算序列 y 是由计算 y 的机器的描述所确定的。因此，序列 001011011101111… 是由第 234 页的表所确定的。事实上，任何可计算序列都可以通过这样的表来描述。 把这些表转换成一种标准形式是有用 ...

个人分类: 图灵论著专研与精译工作群|2243 次阅读|没有评论

图灵机的“非计算”思考 - 图灵机与人工智能的关系（奇点O论坛，2020/6/6）

柳渝 2020-6-8 14:20

目录 一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 二，计算机理论基本概念的溯源 三，给王培老师的提问 一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 作者开篇说，在讨论人工智 ...

个人分类: 图灵论著专研与精译工作群|3125 次阅读|没有评论

图灵文章《论可计算数及其在判定问题上的应用》的第1，2章译文

柳渝 2020-5-8 22:56

一，图灵文章《论可计算数及其在判定问题上的应用》的第 1 ， 2 章译文 “ 可计算数 ” 简单被描述成实数，表达成用有限的手段计算的十进制数。虽然本文的主题表面上讲可计算数，然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数，可计算谓词等。在每种情况下，基本的问题是一 ...

个人分类: 图灵论著专研与精译工作群|5690 次阅读|没有评论

图灵文章《论可计算数及其在判定问题上的应用》的第8章译文

柳渝 2020-2-18 16:12

图灵 1936 年的论文《论 可计算数 及其在判定问题上的应用》（ On Computable Numbers, with an Application to the Entscheidungsproblem ）奠定了现代计算机理论基础。 此论文的动机是想解决德国数学家大卫 · 希尔伯特（ 1862—1943 ）构想的一个问题：希尔伯特想寻找一种通用的方法来判定数理逻辑 ...

个人分类: 图灵论著专研与精译工作群|6380 次阅读|没有评论

为什么要译读图灵的论著？

热度 3 柳渝 2018-5-20 12:58

最近在“AI伦理和社会群”和大家分享译读图灵的文章“计算机器与智能”。 对于译读图灵的论著（ 图灵论著专研与精译工作群告白书 ），有网友质疑：“不要迷信图灵，中国古人未必比图灵差，我也不喜欢这群只讨论西方科学。” 关于“图灵检验”，有网友问：“三斤玉米里有几斤π （圆周率）？ 图灵机如何检验？如果 ...

个人分类: 图灵论著专研与精译工作群|8002 次阅读|4 个评论 热度 3

关于AI的对话（随园，2018/4/16）

热度 1 柳渝 2018-5-3 02:45

在一个朋友群与大家聊AI，我引用了图灵的文章（ 图灵的文章“Intelligent machinery, a heretical theory”译文 ）来和大家讨论“机器学习”这一基本概念，这正是我们发起“图灵论著专研与精译工作群”的一个初衷。 ＊＊＊＊＊＊ 柳渝：看到大家又在讨论人工智能，我可否先问个问题: 人工智能的核心是“机器学习（Mach ...

个人分类: 图灵论著专研与精译工作群|7191 次阅读|1 个评论 热度 1

解读图灵：层次关系中的一致性

热度 1 柳渝 2018-4-24 22:20

这篇短文既可以看作是研读图灵著作工作（ 图灵论著专研与精译工作群告白书 ）的基本思想，也可以看作是对我们NP理论和智能哲学的思想来源的一个解释。 ＊＊＊＊＊＊ 解读图灵：层次关系中的一致性 对图灵的著作研读，有三个基本层次，第一是图灵说了什么，第二是图灵是如何说的，第三是图灵为何这样说。第一层次主要就 ...

个人分类: 图灵论著专研与精译工作群|7508 次阅读|1 个评论 热度 1

图灵的文章“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（通过经验学习）”来阐释“智能机器”：从一个相对而言较为 ...

个人分类: 图灵论著专研与精译工作群|3843 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏