科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
分享 量词消去——为了没有存在和任意
热度 1 王东明 2018-5-27 22:01
数学中有两个非常特别的符号∃和∀,它们分别代表存在和任意。这两个符号与其限定变量一起,如∃x和∀y,称为存在量词和全称量词。存在和全称量词在数学中必不可少,但在很多时候我们都不希望它们出现,因为含有量词的数学问题往往都非常棘手、难以处理。量词符号∃和∀源自英文单词Exist ...
个人分类: 阿狗数学|4733 次阅读|1 个评论 热度 1
分享 [转载]刘卓军:吴文俊与吴文俊人工智能奖
王东明 2018-5-6 21:02
【真快,一年了,去年的5月7日晨吴文俊教授离开了我们。他的音容相貌还留在脑海中。我是吴先生的学生和同事中最后一位陪伴他的人。因为意识到他的时间不多了,5月6日下午我打电话给老吴的第一位博士毕业生王东明教授,让他赶到北京医院看吴先生最后一眼。尽管有心理准备,当第二天一早,吴先生离世的电话打来时,我还是 ...
953 次阅读|没有评论
分享 转轴拨弦三两声——浅谈弦图
热度 1 王东明 2018-5-2 10:04
大数学家欧拉(Leornhard Euler)成功解决哥尼斯堡七桥问题标志着图论的诞生,距今已有两个多世纪。经历了这两个多世纪的发展,图论逐渐简化为以点和边为研究对象的一门学科,以其直观、简明的特点在学术研究和科技发展中发挥了不可替代的作用:DNA序列可以通过欧拉回路进行分析,运筹学、计算机科学和编码理论中的很多问 ...
个人分类: 阿狗数学|6014 次阅读|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 ...
个人分类: 阿狗数学|6160 次阅读|1 个评论 热度 1
分享 阿狗传道——方程术(下)
王东明 2018-4-8 10:10
阿狗传道——方程术(上): 点击进入 上升下降 左右进退 互通变化 乘除往来 用假象真 以虚问实 错综正负 分成四式 必以寄之 剔之 余筹易位 横冲直撞 精而不杂 自然而然 消而和会 以成开方之式也 ——《四元玉鉴》序言 多项式方程求解是代数学的中心问题,也是代数学发展的动力和源泉。千百年来无数数学家都研 ...
个人分类: 阿狗数学|3939 次阅读|没有评论
分享 阿狗下注——数字游戏的艺术
热度 2 王东明 2018-3-25 11:48
数字由来已久。要谈论其历史,我们得从计数开始说起。远在上古时期,我们的祖先通过在绳子上打结、选取大小不同的石头来记事。公元五世纪前后,数字0在印度出现,标志着一套完善的计数系统开始形成。该系统后来由阿拉伯人传向欧洲和世界各地,再经过简化发展逐步形成了国际通用的阿拉伯数系。阿拉伯数字书写方便、运算规 ...
个人分类: 阿狗数学|3819 次阅读|2 个评论 热度 2
分享 上帝的指纹——分形与混沌
热度 10 王东明 2018-3-18 13:07
云朵不是球形的,山峦不是锥形的,海岸线不是圆形的,树皮不是光滑的,闪电也不是一条直线。 ——分形几何学之父Benoit Mandelbrot 话说在一个世纪以前,数学领域相继出现了一些数学鬼怪,其整体或局部特征难以用传统的欧式几何语言加以表述。著名的数学鬼怪包括处处不稠密而完备的Cantor集,每段长度都无限而围成 ...
个人分类: 阿狗数学|7116 次阅读|10 个评论 热度 10
分享 宇宙是扭曲对接的时空——悼念霍金
热度 1 王东明 2018-3-15 13:45
穿越时空 将小路两端翻转对接 修一条莫比乌斯带 人生在带上行走 没有岔道 也没有尽头 与天神对饮 等瓶底烂穿 将其与瓶口扭曲对接 内外不分的克莱因瓶 装不满陈酿 却能装下整个世界 请上帝 将人间与天堂对接 从此不再有生死离别 不再有邪恶 灵魂在天堂与人间安好 凤凰在浴火中重生 茫茫宇宙 是变幻莫测的世界 叠加对接 ...
2045 次阅读|1 个评论 热度 1
分享 数学软件——计算机上的数学
热度 3 王东明 2018-1-28 23:26
著名数学家吴文俊先生曾预言:“在不久的将来,电子计算机之于数学家,势将如显微镜之于生物学家,望远镜之于天文学家那样不可或缺。”如今这个预言已成为现实,计算机的应用已深入到自然科学的各个领域。对于以计算和推理为主要任务的数学,计算机的作用尤为明显。 要使计算机能够用来处理和解决数学问题,我们必须有 ...
个人分类: 阿狗数学|5571 次阅读|3 个评论 热度 3
分享 数学机械化——吴文俊名言精选
热度 1 王东明 2018-1-22 13:57
吴文俊(1919年5月12日——2017年5月7日),著名数学家、中国科学院院士、第三世界科学院院士、首届国家最高科技奖获得者。 吴文俊1940年毕业于上海交通大学,1946年到中央研究院数学所工作。1947年赴法国斯特拉斯堡大学留学,1949年获得法国国家博士学位,随后在法国国家科学研究中心任研究员。1951年回国后,吴文俊 ...
个人分类: 阿狗数学|1616 次阅读|1 个评论 热度 1

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2018-7-23 21:49

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社

返回顶部