• 我的订阅
  • 头条热搜
数学家为什么要去重新证明我们已经知道的东西?
...是在中学时期完成了自己的第一次数学证明。这是古希腊数学家欧几里得证明的命题:质数有无穷多个。仅需几行文字,只用到整数和乘法这些简单概念。证明是这样的。假设质数是有限多个,那么把它们都乘起来再加个1,会...……更多
AI工具将如何改变数学领域
...文转自:科技日报当前,很多机器学习等AI工具正在帮助数学家创建新的理论并解决棘手的问题,这些AI工具正以超越单纯计算的方式改变数学领域。图片来源:英国《自然》杂志网站◎本报记者 刘 霞【今日视点】ChatGPT的横空...……更多
黎曼猜想被证明了!
【新智元导读】著名数学家、现年90岁的MichaelAtiyah在海德堡获奖者论坛上发表演讲的论文预览版,宣布世纪数学难题“黎曼猜想”被证明。震撼!AIWORLD2018世界人工智能峰会开场视频黎曼猜想被证明了!至少根据世纪最著名的数...……更多
...字的著名定理,几个世纪以来一直困扰着数学界。现在,数学家希望开发一种计算机方法,用来证明费马大定理。这是一个雄心勃勃、为期数年的项目,旨在展示计算机辅助数学证明的潜力。法国数学家皮埃尔·德·费马在1640年...……更多
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...个定理,然后对这个定理就置之不理了。但是,绝大多数数学家会采取另一种态度。他们相信黎曼假设,相信终有一日黎曼假设会得到证明。 所以他们也会相信其所有推论才更靠得住。还可以在理论计算机科学中举一个大家都...……更多
...,引导学生探究数学知识的本源。首先,给学生介绍北宋数学家贾宪的《释锁算书》中的相关内容,让学生了解二项式定理产生的历史背景和动因。贾宪为了解决开高次方的问题,通过长期探索和研究,发现了二项式定理。他的...……更多
数学思维的妙处(7):贝叶斯定理,高手的必经之路
...也正因此而在这200多年里备受争议。但就是这么不精确的东西,又为何被各行业各的佼佼者争相应用呢?因为:——佼佼者们要的根本不是单点数据的精准,而是有没有增加或减少的这个趋势。什么意思?你看当你对拜佛的初始...……更多
久久为功者进
...号获得者。(制图:王婵) 作为我国最具国际影响的数学家之一,“人民科学家”国家荣誉称号获得者吴文俊对数学的核心领域拓扑学做出重大贡献、开创了数学机械化新领域,对数学与计算机科学研究影响深远。就是这么...……更多
...尔•拉森就开始尝试研读张益唐、梅纳德和陶喆轩等前沿数学家有关孪生素数问题的论文。尽管这些论文对于中学生来说过于艰深,但丹尼尔•拉森性格坚韧,从不轻言放弃。在几个月的摸索之后,他实事求是地将研究方向确定...……更多
新年第一天,中学生与数学“大咖”面对面
...妹们分享数学感悟。青年报记者 刘春霞本报讯 古希腊的数学家在研究倍立方体问题时引入了二次曲线,17世纪解析几何的创立解决了二次曲线分类问题并揭示了圆锥曲线和二次曲线的联系……前日下午,清华大学求真书院2022级...……更多
...314年),字汉卿,号松庭,汉族,燕山(今北京)人氏,元代数学家、教育家,毕生从事数学教育。有“中世纪世界最伟大的数学家”之誉。朱世杰在当时天元术的基础上发展出“四元术”,也就是列出四元高次多项式方程,以及消...……更多
那个曾经随时可能失明的少年,刚刚获得数学界最高荣誉
...献,他的工作重塑了概率论的几个领域。他是一位杰出的数学家,也是一位出色的问题解决者。撰文:嘉伟我们的人生,会经历无数的随机事件。它们有些是预料之中的,有些则完全出乎意料。就算是当今世界上对随机过程理解...……更多
聊聊北宋时期的杰出科学家沈括
...通过实地观测和测量,得出了许多精确的数据和结论;在数学领域,他通过对勾股定理的证明和推广,使得勾股定理在实际应用中得到了广泛的应用。2、善于观察和思考沈括非常善于观察和思考,这是他能够取得众多科学成果...……更多
“老子英雄儿好汉”,大名鼎鼎的数学家祖冲之,儿子有出息不?1、另类“官二代”约公元502年夏季的一天,在中岳嵩山(今河南登封县北)山巅,一位满脸沧桑却精神饱满的中年人正在仔细做一个实验。他先立了一根8尺长的铜棍...……更多
数学思维的妙处(4):了解了贝叶斯定理,你离高手又近了一点
文/老余数学,是很多人的噩梦。但还好,我这个系列不是做数学题,而是介绍一些数学思维在生活中的运用,所以不必紧张。前三篇写了微积分、一般概率及条件概率在生活的运用与启发,本篇我们继续介绍条件概率中最重要...……更多
黎曼认为他是高斯之外最伟大的数学家,现代函数概念出自他之手
狄利克雷是19世纪著名德国数学家,对数学的各个领域都有杰出贡献,尤其在数论方面,以其对狄利克雷级数的研究而闻名,这是解析数论中的基础概念;狄利克雷对傅里叶级数的开创性工作也在数学分析领域产生了深远的影响...……更多
提出伟大猜想的伟大黎曼
...学、电磁非超距作用和激波理论等也作出重要创新。此后数学家重新论证黎曼断言过的定理,在黎曼思想影响下数学许多分支取得了辉煌成就。黎曼留给人类的思想财富包括黎曼函数、黎曼积分、黎曼空间等。他留下的黎曼猜想...……更多
关于“天圆地方” 其实我们一直理解错了
...拉斯定理了。还有一个例子,是古希腊的第一位哲学家、数学家、天文学家泰勒斯,他和他的两代弟子,有一个宇宙模型,天像毡帽,地像盘子。这被认为是科学,但是偏偏这个科学和《周髀算经》中的宇宙模型几乎雷同。《周...……更多
...把中国人的名字载入世界数学史册——沉痛悼念我国著名数学家杨乐院士◎本报记者 孙 瑜10月22日,秋深露重的一个黄昏里,一颗痴迷数学的心脏停止了跳动。中国科学院院士、中国科学院数学与系统科学研究院首任院长杨乐因...……更多
一位最熟悉的数学家,用数学计算证明“上帝”的存在
...意外的是,这个困扰人类数百年的问题,竟然被一位瑞士数学家用一次独特的数学计算得以解决。谈及证明“上帝”存在的数学计算,必然会想到欧拉数学家,事实上他用的正是他发明的函数。欧拉出生于瑞士巴塞尔一个传教士...……更多
...影响力的研究成果。证明了困扰数学界15年,由美国杰出数学家和计算机科学家V. Chvátal提出却未能解决的图论猜想和几个公开挑战的图论问题。在组合最优化或理论计算机科学领域,解决了“双目标字符串识别”和“超图嵌入...……更多
陈景润:永远纯真的数学巨人
...片【大家】学人小传陈景润(1933—1996),福建福州人。数学家,中国科学院院士。1950年考入厦门大学数理系,1953年在北京四中任教,1954年任厦门大学资料员,1957年到中国科学院数学研究所工作。1982年获国家自然科学奖一等...……更多
...挪威科学与文学院20日宣布,将2024年度阿贝尔奖授予法国数学家米歇尔·塔拉格兰(MichelTalagrand),以表彰他在概率论和泛函分析方面的开创性贡献,以及在数学物理和统计学方面的杰出应用。据挪威科学与文学院官网发布的新闻...……更多
过好“四关”数学轻松突破
...高。■ 过好“识图关”,提高数学解题能力我国著名的数学家华罗庚说:“形缺数时难入微,数缺形时少直观。”在初中阶段,不论是代数学习、几何学习,还是概率统计学习,都需要借助图形(或图像)来解决,通过画图识...……更多
中科院院士开讲数学课
...建筑、艺术、医学、物理等各领域的运用。他还从古希腊数学家欧几里得编纂的《几何原本》引入,介绍了勾股定理的证法、柏拉图立体等著名数学理论,带领市民了解数学的抽象美、严谨美、简洁美。“研究数学最大的益处是...……更多
离奇的电流:坡印廷矢量揭开电磁场能量的神秘面纱!
...经不再局限于坡印廷矢量所描述的范围。通过更加复杂的数学模型和实验观测,科学家们揭示了更多关于电磁波传播和相互作用的细节。 以电磁波的传播速度为例,坡印廷矢量所描述的电磁波传播速度为光速,即真空中的光速...……更多
...”,是概率统计中最常见的连续概率分布之一。它以著名数学家卡尔·弗里德里希·高斯的名字命名,因其在各个学科领域中的广泛应用而闻名。高斯分布的曲线呈钟形,两头低,中间高,左右对称,人们又经常称之为“钟形曲...……更多
南宋年间有位“大恶人”,却令西方科学界集体敬仰
...冶金、造船等多个行业,都有很大的进步。其中南宋著名数学家秦九韶的故事,更是能写进小说的程度,他的一生既辉煌又“憋屈”,人们对其的看法也相差极大,这究竟是个怎样的人呢? 大恶人是谁秦九韶其实是个官二代,...……更多
霍金的“悖论”定理是如何被证实的?
...事件视界的面积。霍金定理是如何被证实的?霍金定理在数学上很容易证明,但在实践中检验它却困难很多倍,这就是为什么它在 50 年来一直没有得到证实。近日,麻省理工学院等机构的物理学家利用引力波观测首次证实了霍...……更多
近日,记者从西湖大学官微了解到,原巴黎西岱大学教授Thierry De Pauw已于春节前夕全职加入该校理学院、理论科学研究院,任数学讲席教授,并组建几何测度论课题组。据介绍,Thierry De Pauw长期从事数学分析研究,在几何测度...……更多
更多关于科技的资讯:
新质生产力︱翰凯斯又有新动向:贵州造无人驾驶产品“出海”意大利
翰凯斯无人驾驶小巴效果图5月6日,翰凯斯与意大利移动出行方案解决商 Tecnocad正式签署合作协议,双方将在推动智慧城市建设
2024-05-13 23:51:00
GEVernova推出GEV新能源平台,引领新能源未来
近日,全球领先的能源设备制造和服务公司GEVernova宣布推出GEV新能源平台,这是一个将金融、科技和产业深度融合的全新投资平台
2024-05-13 23:27:00
李开复谈大模型:ofo式烧钱不可取,看谁先打造出“AI微信”
本文转自:中国新闻网中新网5月13日电(中新财经记者 吴涛)“AI烧钱打法不可取”“中国创业者有很强的生命力”“AI-First应用价值在于谁先打造出AI微信
2024-05-13 23:12:00
本文转自:人民日报客户端沈文敏5月13日,上海节能宣传周开幕式上,上海市工业碳管理公共服务平台正式上线。根据《上海市加快建立产品碳足迹管理体系打造绿色低碳供应链的行动方案》
2024-05-14 01:33:00
GEV新能源运营领导团队专访:可持续投资领域的愿景
在全球能源转型的心脏地带,GEV新能源作为创新和协作的灯塔,赋予投资者在为地球带来积极影响的同时确保其财务未来的能力。近日
2024-05-13 23:28:00
GEV 新能源平台:未来的明星还是短暂的火花?
在全球气候变化日益严峻的背景下,可持续发展已经成为全球的共识。各国政府和企业都在积极寻求可持续能源解决方案,以减少碳排放
2024-05-13 23:28:00
本文转自:海西晨报晨报讯(记者 柯小娇)搭建科技创新与市场应用桥梁,助力培育与发展新质生产力。近日,“发展新质生产力 汇聚未来新动能”第六届人民网内容科技创业大赛颁奖典礼暨湖里区科创产业发展环境推介会举办
2024-05-14 00:22:00
“超级充电宝”助推新型能源体系建设
本文转自:安顺日报我市加快新型综合能源基地建设系列报道之五——“超级充电宝”助推新型能源体系建设中核紫云储能电站储能电池仓□本报记者 李铠 蒋天瑜 文/图初夏清晨
2024-05-14 00:42:00
本文转自:台州日报把黄岩打造成智能路网应用样板示范区爱通行:优质算力催生数字经济项目名片:爱通行(台州)科技有限公司2023年9月落地黄岩
2024-05-14 00:43:00
方红义:潜心钻研攻难关
本文转自:芜湖日报□记者 乐培意 通讯员 张雪峰为攻克“卡脖子”技术,他自学编程技术提升生产效率,同时实现对国外光学检查机软件的自主优化工作
2024-05-14 00:43:00
本文转自:吉林日报本报记者 徐慕旗在长光卫星技术股份有限公司测试技术研究室,记者见到了“95后”研发人员张伊晗。“我们正在通过自己研发的系统模拟太空环境
2024-05-14 01:02:00
本文转自:合肥日报(上接1版)参会的北航校友企业家,正是其中的杰出代表。他们大多来自汽车智能化、基金、电子制造、大数据等领域
2024-05-14 01:39:00
贵研工催:专攻“卡脖子”发力“填空白”
本文转自:玉溪日报贵研工催的生产人员正在进行炭载贵金属催化剂生产。 对标国际先进水平,专攻贵金属催化剂“卡脖子”技术难题
2024-05-14 01:38:00
前列电缆:推动传统制造向新而行
本文转自:玉溪日报前列电缆建成的智能化布电线生产线。 在春意盎然的四月,由跻身专精特新中小企业的云南前列电缆有限公司(以下简称“前列电缆”)承办的全国电线电缆产品质量追溯体系建设云南在行动会议在玉溪举行
2024-05-14 01:38:00
本文转自:合肥日报让无人物流 走进百姓生活安徽将争创国家空天信息产业先导区本报讯 支持以电动垂直起降飞行器(eVTOL)为主的空中通勤
2024-05-14 01:41:00