[转载]十载同行 一日难分 ——我与《中国科学：信息科学》

王东明 2020-9-28 17:35

【 2020年是《中国科学》和《科学通报》创刊70周年， 《中国科学》杂志社 特别策划了 “我与《中国科学》/《科学通报》”系列访谈， 邀请曾经关心指导或亲身参与“两刊”编辑出版工作的管理者、科学家、作者和读者等回顾期刊发展历史，同时展望未来，提出期望和要求。 ...

1620 次阅读|没有评论

符号与代数计算：数学机械化的基础

热度 1 王东明 2019-7-20 10:36

7月15日至18日，由国际计算机学会（ACM）和北京航空航天大学主办的第44届符号与代数计算国际研讨会（ 44th International Symposium on Symbolic and Algebraic Computation, ISSAC 2019 ）在北京航空航天大学新主楼会议中心召开。会议由英国计算机学会副主席、巴斯大学教授James H. Davenport和北京航空航天大学教授、欧 ...

2782 次阅读|1 个评论 热度 1

吴文俊：中国古代数学对世界文化的伟大贡献

热度 11 王东明 2019-7-7 09:43

公元前221年, 秦始皇灭六国, 建立了中国历史上第一个中央集权的封建国家. 汉承秦制, 自秦至西汉中期这两百来年间, 是新兴地主阶级专政巩固发展与上升的时期, 法家路线占着主导地位. 法家对工农业生产与科学技术比较重视, 由此促进了数学的迅猛发展, 出现了一批高水平的数学家, 如张苍、耿寿昌等. 《周髀算经》《许商算术 ...

8933 次阅读|20 个评论 热度 11

纪念吴文俊先生诞辰一百周年

热度 4 王东明 2019-5-12 11:03

算法数学 —— 机械化数学的基石 王东明 吴文俊先生是高瞻远瞩、洞悉未来的科学大家。他的研究工作、科学精神、学术成就和学术思想已载入科学发展的光辉史册，成为人类文明的宝贵财富。机械化数学是吴文俊学术思想的重要组成部分，它的基石是算法数学，也就是“算术”。计算机时代的算法数学致力于研究、 ...

个人分类: 阿狗数学|10023 次阅读|4 个评论 热度 4

麦卡锡问答：什么是人工智能？

热度 4 王东明 2019-1-3 16:53

麦卡锡问答：什么是人工智能？ 约翰·麦卡锡 一、基本问题 问：什么是人工智能？ 答：人工智能是研制智能机器尤其是智能计算机程序的科学与工程。它与使用计算机理解人类智能类似，但人工智能并不将它自己局限于生物意义上的方法。 问：是的，那么什么是智能呢？ 答：智能是指现实世界 ...

个人分类: 阿狗数学|8190 次阅读|4 个评论 热度 4

AISC——人工智能与符号计算

王东明 2018-9-20 20:22

9月16日至19日，由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议（13th International Conference on Artificial Intelligence and Symbolic Computation，AISC 2018）在苏州清山会议中心召开。会议由欧洲科学院院士、北京航空航天大学教授王东明和德国卡尔斯鲁厄理工学院教授Jacques Cal ...

个人分类: 阿狗数学|3500 次阅读|没有评论

赌博的乐趣与挑战——不确定性与统计推断（上）

王东明 2018-9-11 10:55

You cannot be certain about uncertainty. ——Frank Knight 人本能上是追求确定性的。确定性有助于人们理解和把握事物变化的规律、提高预测和判断未来发展的可靠性。而在现实世界中，许多事物的发展都具有不确定性：有些不确定性是来自事物本身，另一些则是由于外在影响因素过多。对这 ...

个人分类: 阿狗数学|3548 次阅读|没有评论

师与我——吴文俊与他的学生王东明

热度 4 王东明 2018-8-22 11:55

暑期回到巴黎，我做的第一件事就是整理恩师吴文俊先生早年给我的信函。我搬出厚厚的文件夹，首先打开存有1988年至1993年数百封传真和信件的那几本。那段时间是我出国之初的五年，也是我人生最不平凡的五年。翻阅25年前的传真和信件，浏览着发黄的信纸上已开始褪色的笔迹，我存在记忆深处的各种往事一一浮现到眼前。 ...

个人分类: 阿狗数学|16974 次阅读|4 个评论 热度 4

量词消去——为了没有存在和任意

热度 1 王东明 2018-5-27 22:01

数学中有两个非常特别的符号∃和∀，它们分别代表存在和任意。这两个符号与其限定变量一起，如∃x和∀y，称为存在量词和全称量词。存在和全称量词在数学中必不可少，但在很多时候我们都不希望它们出现，因为含有量词的数学问题往往都非常棘手、难以处理。量词符号∃和∀源自英文单词Exist ...

个人分类: 阿狗数学|10559 次阅读|1 个评论 热度 1

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