软件异想天开 赢得人性大奖

计算机能真正地思考呢,还是永远只能具有人工的智能呢?为了回答这令人困扰的问题,英国数学家阿兰·图灵(Alan Turing)于1950年设计了一种简便而天才的模仿测试(图灵认为让某人提出问题,分别由人和计算机来回答,如果辨别不出回答者是人还是机器,则可认为这部机器具有智能——译者注)。他还预言,思维机器将在世纪交替之前出现。去年晚些时候在波士顿的计算机博物馆有史以来第一次举行了这种所谓的图灵测试。     

量子计算动摇了丘奇-图灵论点吗--兼纪念图灵逝世50周年

1930年代初提出的丘奇-图灵论点。是判定什么是计算、什么问题是可计算的、什么问题是不可计算的这一切问题的最根本原则或标准。电子计算机诞生后，丘奇一图灵论点还成了刻画电子计算机计算能力的最基本的理论依据。70年过去了，尽管新型的计算范例不断涌现，如神经网络计算、遗传计算、进化计算、DNA计算等，但它们除了在计算复杂性方面(计算效率)较优。并没有从根本上动摇丘奇-图灵论点。     

紫罗兰恋爱了

正许多科幻作品中都会出现图灵测试。按照维基百科上的定义,图灵测试是图灵于1950年提出的一个关于判断机器是否能够思考的著名思想实验,测试某机器是否能表现出与人等价或无法区分的智能。然而,人之所以为人,不单单是靠智能来定义,还有情感这个重要元素。如果用"具不具备近似于人的情感"为标准来考核人工智能会怎样呢?下面这篇由定居在美国的印度裔女作家吉檀迦利·迪格创作的小说提出了一种设想。     

关于相对化的P与NP问题的一个注记

李祥在文献[1]中得到如下结果: 定理1 下述命题等价: (1) P≠NP; (2) NPT~∞是递归可表现的类; (3) ((?)A∈NP)(P~A≠NP~A); (4) ((?)A∈NP)(P~A≠NP~A或A∈NPT~∞)。 这里,NPT~∞表示全体无穷的NP图灵完全语言构成的集类。针对定理1的第4款,李祥提出了如下问题:是否有两个无穷的NP图灵完全语言A及B,使P~A=NP,P~B≠NP~B?~(**)本文对     

卓尔不凡的图灵

对于现今热得发烫的苹果品牌,很多人会提出同样一个问题,当初徽标中的苹果为什么会被咬了一口呢？最耐人寻味的解释是,它的设计来源于对计算机鼻祖阿兰.图灵的纪念。     

对于B存在A使P~A=NP~B成立的充要条件

Baker等人首先对P=?NP问题进行了相对化研究,获得了深刻的结果。本文对于任意语言B,讨论了存在语言A使P~A=NP~B成立的充要条件。 我们采用Cook的带oracle的图灵查询机器为我们的计算模型,有关查询机器的详细描     

准邻接度的格嵌入性质

所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。     

永恒的精神遗产

阿兰·图灵出生于100年前的这一年,他最出名的成就是战时密码破译和发明“图灵机”——现在每一台电脑的核心概念。但他的精神遗产并不止于此：他创立了人工智能领域,提出了生物形态发生学理论并且探索计算的临界限度。这些碎片似的描述只是图灵短暂而又悲惨的一生中的一小部分,我们在这里颂扬和纪念的是他的思想对当今科学许多热门领域作出的贡献。     

游走于现实和虚拟之间

<正>什么是虚拟,什么是现实?你如何知道,自己是生活在虚拟空间还是现实世界?著名的图灵测试,会用些技巧让你知道和你对话的是机器还是人,但是机器足够智能之后你也许无法区分对方是虚拟的还是真实的。虚拟现实也一样,当大脑足够深度地进入虚拟之中,你如何能感知到自己置身虚拟还是现实之中?在《阿凡达》《盗梦空间》     

游走于现实虚和拟之间

什么是虚拟,什么是现实？
　　你如何知道,自己是生活在虚拟空间还是现实世界？
　　著名的图灵测试,会用些技巧让你知道和你对话的是机器还是人,但是机器足够智能之后你也许无法区分对方是虚拟的还是真实的。虚拟现实也一样,当大脑足够深度地进入虚拟之中,你如何能感知到自己置身虚拟还是现实之中？在《阿凡达》《盗梦空间》《黑客帝国》中,你往往以为是现实了,其实可能是虚拟场景。     

英国皇家摄影学会年度科学摄影师大赛获奖作品

正日前,英国皇家摄影学会公布了2021年度科学摄影师大赛的获奖名单。2021年2月12日至21日,在曼彻斯特举行的科技节上展出的获奖作品成为众人瞩目的焦点。本届大赛特别设立了气候变化这一组别。入围:图灵图案——BZ反应摄影:大卫·梅特兰(David Maitland)在培养皿中通过贝洛索夫-扎鲍廷斯基反应(亦称BZ反应)形成的催眠图案。该现象背后的数学原理是由阿兰·图灵(Alan Turing)提出来的     

机器究竟会思维吗?

机器能思维吗?这个问题几十年来吸引了许多发明家、哲学家和逻辑学家。1938年,英国数学家阿兰·图灵(Alan Turing)证明了现在称之为图灵机的很简单的计算模型能够进行很广泛的计算;它能模似任何其它图灵机的计算。这种模型是存贮程序计算机的基础。看来,存贮程序计算机最终能模拟人的动作。因为根据每个神经元的状态及神经元的刺激机制,有可能计算出某人每个神经元的下一状态,因而可以预测     

让科学发声

正●随着公众对科学越来越感兴趣,媒介图景也在发生变化,一些科研人员正在为自己的科研成果做科学传播。去年9月,当图灵药业及其遭辱骂的首席执行官马丁·谢克雷利(Martin Shkreli)因为哄抬弓形虫症用药达拉匹林的价格而引发众怒时,比尔·沙利文(Bill Sullivan)有一个故事要讲。他所在的印第安纳大学医学院寄生虫研究实验室刚刚发表了一项研究成果,表明一种已被美国食品药品管理局批准的药物成功治愈了老鼠中的弓形虫症,可以很快替     

图灵咖啡厅

正人类的智慧不仅仅体现于提问与回答。同样,对智能的评估也不应被此局限。——摘自强化图灵测试总纲一、男人这是开店以来最冷清的一天。本应是生意最好的时候,街上却看不到半个人影,让人不敢相信自己身在城市。要是一个顾客都没有的话,我大概会找个借口直接打烊,但是偏偏有那么一名中年男人,目光涣散,两个小时里只点了一杯拿铁,时不时还长吁短叹。实话说,假若他今晚选择自杀,我也不会感到意外。我正在胡思乱想,他突然起身向我走来。     

诺奖药品市场风波解读

正2015年9月,在股市上,达拉匹林一夜药价暴涨55倍,整个美国都震惊了。这个事件的主角马丁·谢科雷利(Martin Shkreli)是图灵制药公司的首席执行官,原来是一家对冲基金公司经理,他宣布在他的运作下,已有62年历史的抗寄生虫老药的价格从每片13.50美元猛涨至750美元,对此,没有几个人支持他、恭喜他令人惊异的敏锐商业才能。相反地,来自四面八方的人们都对他表示了鄙视:药厂CEO、美国总统的竞选者、社会媒体评论者、专栏作家和期刊编辑,所有人都把谢科雷利描绘成最坏的强盗药物大亨。据一家非常热心的媒体称,他已经"官方"地变成了美国最痛恨的人。     

前景广阔的太空制药

在失重的空间环境中．细胞和小球都不会沉降到容器的底部．因此细胞可以安然地悬浮在培养介质中，永远保持旺盛的活力将来利用这种方法就可以在太空城的刺药厂里生产出各种生物制剂．然后向地球出口．以治疗地球人的一些顽症。     

发展机器人产业走向RT时代--＂第三次工业革命＂切入口的上海选择

从历史来看．每次技术一经济范式的转型都会形成赶超机会．抓住机会的国家和地区会在未来的全球产业链分工中占据有利位置．当前．以机器人为代表的智能制造模式是一次新的技术一经济范式转型．中国不能成为旁观者。上海更应该代表中国直面国际竞争。     

转化甲烷，为缓解能源和资源问题而努力——单永奎教授研究成果记

煤炭和石油类碳氢资源的日趋枯竭．将会对经济和社会可持续发展造成巨大的阻碍．这是一个由来已久的担忧。以甲烷为主要成分的碳氢资源储量丰富，被人们认为是煤炭和石油的理想替代资源．这是一个由来已久的设想。显然．碳氢资源结构如果真的实现如此的转变，相应的产业技术结构也必将因之而变。以甲烷碳氢资源为原料的化学转化技术的研究，理应被视作为未来化学工业的发展提供技术支撑和战略储备的前瞻性研究。在此领域，华东师范大学的单永奎教授及其研究团队．在上海市科委的支持下，进行了艰苦而卓有成效的基础研究。本文．是对他阶段性研究成果的一次说明。     

有趣的古代起重法

我国古代的建筑．有许多是浩大的宫殿、庙宇和城墙。这些大型建筑工程需应有的起重方法与之配套。古时候．我国建筑工匠在缺少机械设备的同时，运用各种科学原理，以小力生产大力．创造出众多起重奇迹。     

体细胞重编程的革新之路

2012年10月8日瑞典卡罗林斯卡医学院宣布．将诺贝尔生理学或医学奖授予英国发育生物学家格登（JohnGurdon）和日本医学教授山中伸弥（ShinyaYa—manaka）．以表彰他们在体细胞重编程领域做出的革命性贡献。他们分别以不同途径发现“成熟、特化的细胞能够被重编程为可发育成身体各组织的非成熟细胞”．革新了人们对细胞和生命发育的理解。