博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 数字计算机会思考吗？ - 图灵1951年在BBC的讲演
- 热度 1
- 在如今chatgpt实现了“图灵测试”之时，让我们来听听图灵于1951年5月15 日在 BBC 广播电台所做的充满探索精神的讲演，“数字计算机会思考吗？” 一， 译文 数字计算机经常被描述为机械大脑，大多数科学家可能认为这种描述只是报纸的噱头，但有些人却不这么认为，一位数学家曾用“人们常说这些机器不是大脑，但 ...
- 简介图灵1936年的论文
- 当前蓬勃发展的人工智能揭示出人类面对自身的挑战，当我们从中认识到人类社会出现重大转折时却似乎失去了方向感，比如，人工智能的可解释性一直是一个 “ 黑盒子 ” 。因此，我 们认为，追本溯源重读图灵的著作对理清一直以来困扰人们的数理逻辑和计算机理论的基本难题会有实质性的帮助！ 图灵 1936 年 论文为计 ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第9章译文
- 9. 可计算数的范围 还没有人试图证明 “ 可计算 ” 的数包括所有被自然当做可以计算的数。所有可以给出的论证本质上都局限于直觉，而且由于这个原因，在数学上相当不令人满意。真正的问题是， “ 什么是在计算一个数时可能的过程？ ” 我将使用的论证有三种。 ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第5章译文
- 图灵在这章论述图灵机的编码，提示 图灵机枚举的层次性 。 5. 可计算序列的枚举 一个可计算序列 y 是由计算 y 的机器的描述所确定的。因此，序列 001011011101111… 是由第 234 页的表所确定的。事实上，任何可计算序列都可以通过这样的表来描述。 把这些表转换成一种标准形式是有用 ...
- 图灵机的“非计算”思考 - 图灵机与人工智能的关系（奇点O论坛，2020/6/6）
- 目录 一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 二，计算机理论基本概念的溯源 三，给王培老师的提问 一，解读王培老师的文章：计算机不是只会 “ 计算 ” ，图灵机也不是一台 “ 机器 ” 作者开篇说，在讨论人工智 ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第1，2章译文
- 一，图灵文章《论可计算数及其在判定问题上的应用》的第 1 ， 2 章译文 “ 可计算数 ” 简单被描述成实数，表达成用有限的手段计算的十进制数。虽然本文的主题表面上讲可计算数，然而几乎可以同样容易定义和研究变量为整数或实数或可计算变量的可计算函数，可计算谓词等。在每种情况下，基本的问题是一 ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第8章译文
- 图灵 1936 年的论文《论 可计算数 及其在判定问题上的应用》（ On Computable Numbers, with an Application to the Entscheidungsproblem ）奠定了现代计算机理论基础。 此论文的动机是想解决德国数学家大卫 · 希尔伯特（ 1862—1943 ）构想的一个问题：希尔伯特想寻找一种通用的方法来判定数理逻辑 ...
-
为什么要译读图灵的论著？
- 热度 3
- 最近在“AI伦理和社会群”和大家分享译读图灵的文章“计算机器与智能”。 对于译读图灵的论著（ 图灵论著专研与精译工作群告白书 ），有网友质疑：“不要迷信图灵，中国古人未必比图灵差，我也不喜欢这群只讨论西方科学。” 关于“图灵检验”，有网友问：“三斤玉米里有几斤π （圆周率）？ 图灵机如何检验？如果 ...
-
关于AI的对话（随园，2018/4/16）
- 热度 1
- 在一个朋友群与大家聊AI，我引用了图灵的文章（ 图灵的文章“Intelligent machinery, a heretical theory”译文 ）来和大家讨论“机器学习”这一基本概念，这正是我们发起“图灵论著专研与精译工作群”的一个初衷。 ＊＊＊＊＊＊ 柳渝：看到大家又在讨论人工智能，我可否先问个问题: 人工智能的核心是“机器学习（Mach ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
