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

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

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

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

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

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

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

个人分类: 阿狗数学|13713 次阅读|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 ...

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

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

王东明 2018-9-11 10:55

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

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

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

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

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

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

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

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

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

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

转轴拨弦三两声——浅谈弦图

热度 1 王东明 2018-5-2 10:04

大数学家欧拉（Leornhard Euler）成功解决哥尼斯堡七桥问题标志着图论的诞生，距今已有两个多世纪。经历了这两个多世纪的发展，图论逐渐简化为以点和边为研究对象的一门学科，以其直观、简明的特点在学术研究和科技发展中发挥了不可替代的作用：DNA序列可以通过欧拉回路进行分析，运筹学、计算机科学和编码理论中的很多问 ...

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

Gröbner基——Buchberger的发现，却以他导师的姓命名

热度 1 王东明 2018-4-18 11:35

任给 n 维线性空间中的向量 v 1 ,...,v k 和 v ，如何判断 v 是否属于 v 1 ,...,v k 所张成的线性子空间 V ？这就是线性空间中的成员判定问题，也是最基本的数学问题，如同判定苹果是不是水果、自行车是不是交通工具是最基本的认知问题一样。解决该问题的方法之一是将 v 1 ...

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

阿狗传道——方程术（下）

王东明 2018-4-8 10:10

阿狗传道——方程术（上）： 点击进入 上升下降 左右进退 互通变化 乘除往来 用假象真 以虚问实 错综正负 分成四式 必以寄之 剔之 余筹易位 横冲直撞 精而不杂 自然而然 消而和会 以成开方之式也 ——《四元玉鉴》序言 多项式方程求解是代数学的中心问题，也是代数学发展的动力和源泉。千百年来无数数学家都研 ...

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

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