|
|
|
早期历史 11月12日 1910年11月12日,数学家华罗庚诞辰 华罗庚,中国数学家,中国科学院院士。1910年11月12日出生于江苏金坛。他是一位自学成才的数学家。1924年金坛中学初中毕业,后刻苦自学。1930年在清华大学任教。1930年在上海《科学》杂志上发表《苏家驹之代数五次方程解法不能成立的理由》论文,经熊庆来教授引荐当了助教,不久升任讲师。1936年去英国剑桥大学进修并研究数学。1938年回国任西南联大教授。1946年去美国,先后在普林斯顿大学、依利诺斯大学任教授。1950年回国后曾任清华大学教授、中国种学院数学所所长、中国科学院副院长等职。他对代数、矩阵几何、多复变函数、数论等都作出了卓越的贡献。1970年开始曾在20多个省市、自治区的100多个城市开展了统筹方法和优选法的推广工作。他的著作《典型域上的调合分析》获国家一等奖,此外还有《堆垒素数论》 、《数学引论》 、 《典型群》 、 《优选学》和《高等数学引论》第一卷等著作,都是数学的重要宝库。1985年6月12日,华罗庚诞在东京逝世。 1937年11月12日,Alan Turing定义通用计算机。在一篇具有划时代意义的论文——《论可计算数及其在判定问题中的应用》(On Computer Numbers With an Application to the Entsheidungs Problem)中,论述了一种假象的通用计算机,即理想计算机,被后人称为“图灵机”(Turing Machine,TM)。1939年,图灵根据波兰科学家的研究成果,制作了一台破译密码的机器——“图灵炸弹”。1945年,图灵领导一批优秀的电子工程师,着手制造自动计算引擎(Automatic Comuting Engineer,ACE),1950年ACE样机公开表演,被称为世界上最快、最强有力的计算机,ACE由英国电气公司制造了约30台,它比ENIAC的存储器更为先进。1950年10月,图灵发表了“计算机和智能”(Computing Machinery and Intelligence)的经典论文,图灵进一步阐明了计算机可以有智能的思想,并提出了测试机器是否有智能的方法,人们称之为“图灵测试”,图灵也因此荣膺“人工智能之父”的称号。1954年,42岁的图灵英年早逝。从1956年起,每年由美国计算机学会(Association for Computing Machinery,ACM)向世界时最优秀的计算机科学家颁发“图灵奖”(Turing Award),类似于科学界的诺贝尔奖,“图灵奖”是计算机领域的最高荣誉。 1931年11月12日,LLIAC IV设计者Dan Slotnick诞生 1946年11月12日,美国军方举办加法器与算盘比赛,结果算盘操作者以5:4获胜 近期历史 中国历史编辑本段回目录 1949年11月12日,北京中央防疫实验处制成中国首批鼠疫菌苗。 1986年11月12日,中国长江科学考察漂流探险队征服长江,抵达吴淞口。这支漂流队是1986年6月3日在长江源头的沱沱河下水的。他们闯过了环境十分险恶的250多个险滩,基本上完成了长江河源区干流沿岸综合科学考察研究,和长江上游生态环境及其保护利用等16个项目的考察研究任务。 1986年11月12日,我医学界首次获得脑电图正常值数据 1986年,首都医学界最近取得了我国自己的脑电图正常值数据,结束了几十年来依靠欧美和日本脑电图标准的历史。从1983年至1985年,中华医学会北京分会协同其它三十三个单位,完成了对北京地区各年龄组2357例的脑电图调查。调查结果表明:我国儿童、青少年的脑波,6至7岁、11至12岁、15至16岁具有三个加速期,均为学习重要阶段;10至11岁少年大脑发育正常,脑波频率比国外同龄者稍快,女孩比男孩早成熟约1至2岁。20至45岁是工作、生活的黄金时代。 1989年11月12日,我国著名桥梁专家茅以升逝世。他是江苏镇江人,曾留学美国获工学博士学位。主持设计建造我国第一座铁路、公路两用大桥。 科技史上的今天编辑本段回目录 1980年11月12日,美国不载人行星探测器“旅行者-1号”在距土星十二万四千公里地方飞经土星,并自动发回了一万多张土星及它的环和卫星的彩色照片和各种数据,其中一些新发现使科学家大吃一惊。 历史详解编辑本段回目录图灵的基本思想 图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作: 在纸上写上或擦除某个符号; 把注意力从纸的一个位置移动到另一个位置; 而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。 为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成: 1.一条无限长的纸带 TAPE。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 表示空白。纸带上的格子从左到右依此被编号为 0, 1, 2, ... ,纸带的右端可以无限伸展。 2.一个读写头 HEAD。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。 3.一套控制规则 TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。 4.一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。参见停机问题。 注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。 在某些模型中,纸带移动,而未用到的纸带真正是“空白”的。要进行的指令(q4)展示在扫描到方格之上(由 Kleene (1952) p.375 绘制)。 在某些模型中,读写头沿着固定的纸带移动。要进行的指令(q1)展示在读写头内。在这种模型中“空白”的纸带是全部为 0 的。有阴影的方格,包括读写头扫描到的空白,标记了 1,1,B 的那些方格,和读写头符号,构成了系统状态。(由 Minsky (1967) p.121 绘制)。 图灵机的形式化定义 一台图灵机是一个七元组 (Q,Σ,Γ,δ,q0,qaccept,qreject),其中 Q,Σ,Γ 都是有限集合,且满足 1.Q 是状态集合; 2.Σ 是输入字母表,其中不包含特殊的空白符 □; 3.Γ 是带字母表,其中 □∈Γ且Σ∈Γ ; 4. δ:Q×「→Q×Γ×{L,R}是转移函数,其中L,R 表示读写头是向左移还是向右移; 5.q0∈Q是起始状态; 6. qaccept是接受状态。 7.qreject是拒绝状态,且 。 qreject≠qaccept 图灵机 M = (Q,Σ,Γ,δ,q0,qaccept,qreject) 将以如下方式运作: 开始的时候将输入符号串 从左到右依此填在纸带的第 号格子上, 其他格子保持空白(即填以空白符)。 M 的读写头指向第 0 号格子, M 处于状态 q0。 机器开始运行后,按照转移函数 δ 所描述的规则进行计算。 例如,若当前机器的状态为 q,读写头所指的格子中的符号为 x, 设 δ(q,x) = (q',x',L), 则机器进入新状态 q', 将读写头所指的格子中的符号改为 x', 然后将读写头向左移动一个格子。 若在某一时刻,读写头所指的是第 0 号格子, 但根据转移函数它下一步将继续向左移,这时它停在原地不动。 换句话说,读写头始终不移出纸带的左边界。 若在某个时刻 M 根据转移函数进入了状态 qaccept, 则它立刻停机并接受输入的字符串; 若在某个时刻 M 根据转移函数进入了状态 qreject, 则它立刻停机并拒绝输入的字符串。 注意,转移函数 δ 是一个部分函数, 换句话说对于某些 q,x, δ(q,x) 可能没有定义, 如果在运行中遇到下一个操作没有定义的情况, 机器将立刻停机。 停机问题 停机问题(halting problem)是目前逻辑数学的焦点,和第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T,和一个任意语言集合 S, 是否 T 会最终停机于每一个。其意义相同于可确定语言。显然任意有限 S 是可判定性的,可数的(countable) S 也是可停机的,在使用 oracle 输入的帮助下。 通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决,可以有一个程序判断其本身是否会停机并做出相反的行为。这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。 停机问题本质是一阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。! 证明: 设停机问题有解,即:存在过程H(P, I)可以给出程序P在输入I的情况下是否可停机。假设若P在输入I时可停机,H输出“停机”,反之输出“死循环”,即可导出矛盾: 显然,程序本身可以被视作数据,因此它可以被作为输入,故H应该可以判定当将P作为P的输入时,P是否会停机。所以我们设过程K(P)的流程如下:首先,它调用H(P, P),如果H(P, P)输出“死循环”,则K(P)停机,反之K(P)死循环。即K(P)做与H(P, P)的输出相反的动作。 现在假设求K(K),则若H(K, K)输出停机,K(K)死循环,但由定义知二者矛盾。反之,H(K, K)输出死循环,则K(K)停机,两者一样矛盾。 因此,H不是总能给出正确答案,故而不存在解决停机问题的方法。 通用图灵机 对于任意一个图灵机,因为它的描述是有限的,因此我们总可以用某种方式将其编码为字符串。 我们用 <M> 表示图灵机 M 的编码。 我们可以构造出一个特殊的图灵机,它接受任意一个图灵机 M 的编码<M> ,然后模拟 M 的运作,这样的图灵机称为通用图灵机(Universal Turing Machine)。现代电子计算机其实就是这样一种通用图灵机的模拟,它能接受一段描述其他图灵机的程序,并运行程序实现该程序所描述的算法。但要注意,它只是模拟,因为现实中的计算机的存储都是有限的,所以无法跨越有限状态机的界限。 图灵机的变体 图灵机有很多变种,但可以证明这些变种的计算能力都是等价的,即它们识别同样的语言类。 证明两个计算模型 A 和 B 的计算能力等价的基本思想是: 用 A 和 B 相互模拟, 若 A 可模拟 B 且 B 可模拟 A, 显然他们的计算能力等价。注意这里我们暂时不考虑计算的效率,只考虑计算的理论上“可行性”。 首先我们可以发现,改变图灵机的带字母表并不会改变其计算能力。例如我们可以限制图灵机 的带字母表为 {0,1},这并不会改变图灵机的计算能力,因为我们显然可以用带字母表为 {0,1} 的图灵机模拟带字母表为任意有限集合 Γ 的图灵机。 另一个要注意的是,如果我们允许图灵机的纸带两端都可以无限伸展,这并不能增加图灵机的计 算能力,因为我们显然可以用只有纸带一端能无限伸展的图灵机来模拟这种纸带两端都可以无限 伸展的图灵机。 如果我们允许图灵机的读写头在某一步保持原地不动,那也不会增加其计算能力,因为我们可以用 向左移动一次再向右移动一次来代替在原地不动。 其它的常见图灵机变种包括: 多带图灵机 非确定型图灵机 图灵可计算性 图灵可识别语言 图灵可判定语言 递归可枚举语言 可计算函数 停机问题 可判定性 不可判定性 1980年11月12日,三百年后为伽利略沉冤昭雪 1980年11月12日,电一个由世界著名科学家组成的委员会重新审理“伽利略案件”,为17世纪意大利伟大科学家的300年沉冤昭雪。 继1979年11月10日罗马教皇在公开集会上正式承认伽利略在17世纪30年代受到教廷审判是不公正的以后,1980年10月,教皇又在梵蒂冈举行的世界主教会议上提出需要重新审理这个冤案。据此间报纸今天报道,在教廷上述宣布以后,一个由不同宗教信仰的世界著名科学家组成的委员会最近在罗马成立,其任务是,“研究科学同宗教信仰的关系,伽利略案件的科学方面以及伽利略学说对现代科学思想的贡献”。 这个委员会由意大利国家核物理研究院院长吉基齐教授任主席。6名成员全都是诺贝尔奖金获得者。ǚ@ìěá&ǎě他们是:美籍华裔学者杨振宁博士和丁肇中博士,日本学者江崎,巴基斯坦学者阿卜杜-萨拉姆,澳大利亚学者约翰-(C)-艾克莱以及以色列学者尤金-魏格纳。 上述事件在意大利学术界和舆论界引起了巨大兴趣。有的报纸认为,仅仅为伽利略平反还不够,天主教教会必须对当时实行残暴的“宗教裁判”的法律重新评价,同时也必须纠正当前压制和迫害持不同见解的教徒的做法。 图说历史 参考文献编辑本段回目录IT业界资料来自互联网实验室(www.chinalabs.com) →如果您认为本词条还有待完善,请 编辑词条
词条内容仅供参考,如果您需要解决具体问题 标签: IT业11月12日
收藏到:
同义词: 暂无同义词 关于本词条的评论 (共0条)发表评论>> |