在监狱中萌生的数学大一统之愿景,离实现又近了一大步

1967年1月，朗兰兹在普林斯顿大学时，给安德烈·韦伊写了一封17页的手写信，概述了后来被称为“朗兰兹纲领”的内容。即使在今天，这封信也值得仔细阅读，尽管按照目前的标准，它的符号有些笨拙。|图源：普林斯顿高等研究院档案，LettertoAndréWeil|publications.ias.edu信中认为，按照韦伊的“数学罗塞塔...

Hacker News 史诗级论战:“图灵博导”阿隆佐·邱奇是不是计算机...

Lambda源自罗素和怀特海的《数学原理》中对约束变量的符号表示法:在变量上方加上一个折角符号(x??(x+x))。邱奇想要一个一维的表示方式,所以他把折角符号移到了前面:^x(x+x)。这个折角符号看起来很奇怪,所以邱奇换成了最接近的符号,大写的Lambda:Λx(x+x)。Λ容易与其他符号混淆,所以最终...

书荐丨《数学之美》:一本清华北大教授力荐写给中学生的数学思维书...

一、专家力荐:本书由北京大学教授、第一届高等学校教学名师丘维声、高中数学课标修订组组长王尚志、清华大学教授、美国麻省理工学院(MIT)博士周青和中国高考规划行业联盟会长、教育学家赵京联袂推荐。四位专家带我们敲开数学之门,走进美丽新世界,带我们用数学的眼光去观察世界。二、中学生的数学之美:本书从中学数学课...

法国的数学为何这么厉害?

现在这所房屋的正面有一块纪念牌,上面写着:“法国著名数学家埃瓦里斯特·伽罗华生于此,卒年21岁,1811～1832年”。纪念牌是小镇的居民为了对全世界学者迄今公认的、曾有特殊功绩的、卓越的数学家——伽罗华表示敬意,于1909年6月设置。伽罗华最主要的成就是提出了群的概念,并用群论彻底解决了根式求解代数方程的问题,...

“有一种精英学生的无知,却是知之过多造成的”|文化纵横

猎头筛选的操作逻辑是简洁的,一群申请者之间如何排序,需要简单的、可比较的数字与符号,这既可量化、一目了然且程序公正,——这即是市场逻辑所培育出的“履历书写技艺”。福柯曾剖析规训权力对履历的书写:长期以来,普通的个性——每个人的日常个性——一直是不能进入描述领域的。被注视、被观察、被详细描述,被...

AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码

这就仿佛是一个数学证明上的罗塞塔石碑(www.e993.com)2024年11月20日。同为数学教师的ClarissaLittler,就非常赞同KevinBuzzard的理念。她在波特兰社区学院教授离散数学。过去两个学期里,她都在离散数学课上用KevinBuzzard开发的「Lean经典入门游戏」。地址:httpsadam.math.hhu.de/...

徐冰的巴比伦塔丨古老的圆筒缓缓滚动,打开时间卷起的秘密

从天到地，从方块字到符号书，从华北小山村到纽约大都会，徐冰用自己的作品一点点搭建起了那座艺术的巴别塔。从大地上的塔底到穹顶下的塔尖，从地球的一侧到另一侧，古老的圆筒缓缓滚动，打开时间卷起的秘密。那也是艺术的秘密。（徐冰，中国版画家、艺术家，中央美术学院教授、博士生导师。作品曾在中国美术馆、...

星空夜话 | 好评不断的《山花烂漫时》为何如此打动人心?

《山花烂漫时》注重与时代对话,以女性表达为切口,探讨了女性成长及社会教育等多层面问题,使用了“多声部”的叙事方式来展现张桂梅的理想主义和教育路上聚沙成塔的力量,其中有政府的支持、亲朋好友的陪伴和学生无条件的信任。圆滑世故又务实的马副县长,虽然爱打官腔但却帮助张桂梅办了一件又一件实事,解决了很多学校...

《主题式数学课程》之“数与文化”专题研讨会干货满满

如何在野外迷路的情境下结合生活实际和经验辨认方向?……4月29日至30日,一场《主题式数学课程》之“数与文化”专题研讨会在江津区滨江四牌坊小学举行,来自重庆、陕西、甘肃等省市的600余名数学骨干教师和教研员齐聚一堂,共同探索跨学科背景下的主题式数学课程。现场展示的8节课例,令与会教师没有想到的是“数与...

《麻省理工科技评论》万字长文:什么是人工智能?

关于中学数学问题,它们遍布互联网,GPT-4可能只是记住了它们。“你如何研究一个可能已经看过人类所写一切的模型?”Bubeck问道。他的答案是测试GPT-4解决一系列他和他的同事们认为是新颖的问题。在与微软研究院的数学家RonenEldan一起尝试时,Bubeck要求GPT-4以诗歌的形式给出证明存在无限多质数的数学...