冯·诺依曼的计算机科学哲学思想

冯·诺依曼是计算机科学哲学理论的主要奠基人之一。他的计算机科学哲学思想主要体现在他的自动机理论中。冯·诺依曼为自动机理论奠定了逻辑基础。他认为最高层次的抽象应当借助严密的数理逻辑方法去完成。在他看来,只有抽象的形式结构可以了解整个世界;只有严密的逻辑体系才可能包含普遍真理,计算机的设计必须追求逻辑简洁性。在他看来,借助数量极少的术语和规则可以在计算机上作出极其复杂的计算或推理。不断追求逻辑的简洁性和形式美,是计算机科学研究的永恒目标。逻辑简洁性、数学和谐性和形式美的理念在他的自动机理论中表现得淋漓尽致。冯·诺依曼的自动机理论源于毕达哥拉斯主义,是毕达哥拉斯主义数学自然观的产物。     

鲜为人知的电脑史话

年仅30岁就与爱因斯坦一起被普林斯顿高等研究院聘为第一批终身教授的冯·诺依曼,开创了电脑的历史。他在60多年前确定的计算机结构,至今仍为电脑设计者所遵循。     

鲜为人知的电脑史话

年仅30岁就与爱因斯坦一起被普林斯顿高等研究院聘为第一批终身教授的冯·诺依曼,开创了电脑的历史。他在60多年前确定的计算机结构,至今仍为电脑设计者所遵循。1952年美国大选,哥伦比亚广播公司租用了UNIVAC电脑预测结果。选举结束后仅仅45分钟,UNIVAC便计算出艾森豪威尔将胜出,但无     

谁是“电子计算机之父”

"电子计算机之父"的桂冠究竟属谁?据新版<大不列颠百科全书>载:1945年底,由艾克特(J·P·Eckert)总工程师和莫奇勒(J·W·Manchly)博士在美国宾夕法尼亚大学莫尔学院发明建造世界上第一台全新"存贮程序"通用电子计算机"埃尼阿克"(ENIAC),又称"电子数字积分器与计算器".ENIAC十分庞大,重达30吨,塞满一整个房间(占地1500平方英尺),使用18000个真空管,7万个电阻器和1万个电容器.该建造项目参与者还有著名数学家冯·诺依曼(Neumann.John Yon).该电子计算机1945年12月解决了第一个问题,即为制造氢弹做计算.1946年2月14日,该"埃尼阿克"正式公布于世.     

浅谈可信计算的发展态势及知识产权保护

在可信计算领域,我国长期自主创新形成了主动免疫可信体系,起草制定了完整的体系标准,采用安全可信策略管控下的运算和防护并存的主动免疫的新计算体系结构,以密码为基因实施身份识别、状态度量、保密存储等功能,及时识别"自己"和"非己"成分,进而破坏与排斥进入机体的有害物质。从而为云计算、物联网、大数据等网络信息系统建立了免疫体系。主动免疫可信计算是继图灵和冯·诺依曼之后计算机领域的重大变革,其创新成果已在中央电视台、国家电网调度系统等关键核心信息基础设施得到了规模化应用,为构建积极防御的国家网络空间保障体系作出了重大贡献。目前,我国主动免疫可信计算的专利保护亟待加强,努力形成与可信计算技术一样强壮的知识产权保护体系。     

静心做科研追 逐数理的风景——记北京大学数学科学学院特聘研究员蔡云峰

<正>若仔细算来,我国"算学"的概念由来以久。《九章算术》中的方程术、正负术,刘徽的割圆术,以及《数书九章》中的大衍求一术等,古人较早地将这些算法隔页而立,任凭它们在岁月的洪流中翻滚、冲荡。与中国古代"算法""算术"的兴起和含义有所不同,现代计算数学是在1946年世界第一台电子计算机问世之后,建立在冯·诺依曼和他的同事起草并向美国海军部递交的一份报告《高阶线性方程组的解》之上。正是这份报     

小资料：2006菲尔茨奖其他获奖人简介

在第25届国际数学家大会上获得菲尔兹奖的数学家一共有四人,俄罗斯天才数学家格里高利·佩雷尔曼(Grigory Perelman)则放弃了这个最高奖项。除了陶哲轩,获得菲尔兹奖的其他三人分别是安德烈·欧克恩科夫(Andrei Okounkov),格里高利·佩雷尔曼(Grigori Perelman)和温德林·沃纳(Wendelin Werner)。美国康奈尔大学的数学家荣获奈望林纳奖,90岁的日本数学家荣获首届高斯奖。     

不可解的物理学难题,源于数学核心的悖论

正理论物理学家的最新研究表明,哥德尔不完备性定理与量子力学中无法计算的问题相关联。库尔特·哥德尔证明,总有一些数学命题是不可判定的;阿兰·图灵则将哥德尔的证明延伸到了计算机科学里无法解决的算法中。一个数学与计算机科学领域核心的逻辑悖论或许在现实世界也产生了影响:正是它让我们无法解答一些关于物质的基本问题。1931年,出生于奥地利的数学家库尔特·哥德尔(Kurt G·del)宣布,他证明了总有一些数学命题是"不可判定"的,即我们永远无法证明或证伪它们,这一发现震惊了学界。如今,三位研究者又发现,正是同一原理让     

图灵测试灵不灵

今年正值“人工智能之父”阿兰·图灵逝世60周年,6月初,英国科学家宣布,一台超级计算机首次通过“幽灵测试”,使它成为有史以来第一个具有人类思考能力的人工智能设备。作为现代计算机概念的缔造者和20世纪最伟大的英国数学家之一,图灵率先提出的测试似乎很简单：如果一台计算机通过对话能使人们认定它是人类,那么这台计算机便被认为具有智能。     

量子测量与时间之箭

哥本哈根学派是通过互补原理来包容量子测量中的可逆／不可逆矛盾,冯·诺依曼的测量假说与埃弗雷特的多世界解释都坚持“薛定谔方程的普适立场”,但因为脱离量子测量过程的热力学机制分析,在本体论上陷入主观主义或可能状态实体化的困境。退相干理论是耗散结构理论在量子力学中的自然延伸,有助于结合统计力学中可逆性与不可逆性的经典转换机制的研究来解决量子测量问题。由于时间箭头问题在经典力学与量子力学中具有共同的统计力学根源,退相干理论也不能看成是彻底贯彻“普适的薛定谔立场”的测量理论,量子力学中的很多矛盾也许有待于经典物理中的各种矛盾的巧妙解决。     

图灵测试群英会

<正>图灵测试是历史上最著名的测验人工智能的方案,但现在看来,它还是太简单了,我们需要改进它。如今,改进的方案五花八门,完全可以举办一场——计算机能思考吗?1950年,英国数学家、计算机科学先驱阿兰·图灵提出了一个检测计算机是否能够思考的测试,即图灵测试。这个测试很简单:如果一台计算机通过对话,被裁判误以为它是人类,那么这台计算机就被认为是人工智能,具有思考能力。图灵测试一直是一个很有争议的测试。许多学者认为,图灵测试     

机器人会威胁人类吗?

<正>随着人工智能的不断发展,一些科学家担心:在不久的未来,人工智能技术会超越人类的智慧,甚至会反过来控制或毁灭人类。对这一灾难性的预测来自一群世界上公认"最聪明的人",包括微软创始人比尔·盖茨、英国科学家史蒂芬·霍金以及美国的"科技狂人"伊隆·马斯克。甚至有学者认为,人工智能超过人类的时间点——"奇点"已经逼近,很可能就在十几年后。这一切真的会发生吗?人类面临的危险:机器人比人类还聪明什么样的机器人才是有危险的人工智能?英国密码专家、计算机先驱阿兰·图灵设计了一     

1994年度的菲尔兹奖

第22届国际数学家大会于1994年8月3日至11日在瑞士苏黎世召开,在开幕式上颁发国际数学界最重要的菲尔兹奖。这次获奖者是4位不满40岁的数学家,他们是比利时出生的布尔干、法国数学家里昂斯、法国数学家约考兹和俄国数学家齐尔曼诺夫。布尔     

才华横溢的悲剧人生--计算机科学之父阿兰·图灵

计算机给现代社会带来了惊天动地的变革,它已经成为进入信息时代的人们必不可少的工具之一。在享受高科技给生活带来的便利时,我们应该记住为计算机理论做出杰出贡献的英国科学家阿兰·图灵。     

柠檬酸循环(1937年)

汉斯·阿道夫·克雷布斯(1900～1981年) 18世纪后期,安东尼·拉瓦锡对动物在"呼吸"过程中产生的二氧化碳和水进行了令人信服的分析。19世纪德国化学家尤斯图斯·冯·李比希测算了脂肪、糖和     

才华横溢的悲剧人生——阿兰·图灵

计算机给现代社会带来了惊天动地的变革,它已经成为进入信息时代的人们必不可少的工具之一。在我们享受高科技给生活带来的便利时,我们应该记住为计算机理论做出杰出贡献的英国科学家,被誉为计算机科学之父的阿兰·图灵。     

拒领数学菲尔茨奖的现代"隐士"

有“数学诺贝尔奖”之称的菲尔茨奖2006年8月22日在西班牙揭晓，荣获这一殊荣的是俄罗斯数学家佩雷尔曼和另外三位数学家，但令许多人不解的是，佩雷尔曼不仅没有出席菲尔茨奖颁奖仪式，而且拒绝接受此奖。     

新闻

多国研究团队宣称罗塔猜测已被证明震惊数学界一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称:他们经过15年的艰辛努力,终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出,震惊数学界。罗塔猜测是美国数学家和哲学家吉安一卡洛·罗塔1970年在法国尼斯举行的第     

数学隐士与庞加莱猜想

他拒绝了菲尔兹奖 2006年8月,当陶哲轩与其他两位菲尔兹奖获得者在西班牙首都马德里接受全世界数学家的敬意之时,另一位菲尔兹奖获得者,世界七大数学猜想之一的“庞加莱猜想”的攻克者,俄罗斯数学家佩雷尔曼的身影却从始至终都没有出现。这也是菲尔兹奖历史上第一次有获奖者拒绝领奖。这倒不是因为佩雷尔曼与国际数学家大会有什么矛盾,而是因为这位老兄根本就是个“怪人”。     

博弈论(1944年)

约翰·冯·诺伊曼(1903～1957年),奥斯卡·摩根斯顿(1902～1977年)冯·诺伊曼和摩根斯顿在美国普林斯顿大学的高级研究院奠定了博弈理论的基础。在1944年出版的经典著作中,他们从策略、成本和回报的角度进行博弈分析,尤其是以一方利益的牺牲为特征的博弈。在此类博弈中,正确的策略可以将一方的回报最大化。