沭貍のLynFlowing 2026-07-28 埃尔德什借住他人的家里一定上是由于他母亲童年时因为家庭变故而极度保护他,几乎事事都亲自而为并亲自教育,这使得埃尔德什如在约10岁才学会系鞋带,不知道怎么在面包抹黄油等,但也给了他一个不受打扰的环境,将一生献给数学… ♥ 53
bali_replicant 2026-08-02 Erdos是在这个行当的人觉得超级著名,但圈外人觉得听都没听过的数学家。其他例如希尔伯特,庞加莱,伽罗瓦,欧拉,高斯这些可能都或多或少听说过,Erdos问题基本不被普通人知晓,但行业内的人觉得到处都是[笑哭] ♥ 23
Comments
有个小错,程序化证明不是AI辅助。程序化证明是严格的。(lean4)
♥ 127 ↩ 4
埃尔德什借住他人的家里一定上是由于他母亲童年时因为家庭变故而极度保护他,几乎事事都亲自而为并亲自教育,这使得埃尔德什如在约10岁才学会系鞋带,不知道怎么在面包抹黄油等,但也给了他一个不受打扰的环境,将一生献给数学…
♥ 53
埃尔德什也太强了,数学能力爆表啊
♥ 50 ↩ 4
有人专门维护了一个网站,就是艾尔德什猜想,上面记录了艾尔德什的所有猜想,总共1000多个吧,只解决了一小半
♥ 49
学数论的时候经常能看到他简洁精彩的证明,我也是从那个时候认识的他
♥ 44
Erdos是在这个行当的人觉得超级著名,但圈外人觉得听都没听过的数学家。其他例如希尔伯特,庞加莱,伽罗瓦,欧拉,高斯这些可能都或多或少听说过,Erdos问题基本不被普通人知晓,但行业内的人觉得到处都是[笑哭]
♥ 23
只是点了两下Random Open……
♥ 21 ↩ 2
怎么内容越来越硬核了[doge]
♥ 19
本视频听的最多一个词:数学老师
♥ 12
应该叫 埃尔德什 保罗,因为匈牙利跟我们一样,姓在前面
♥ 11 ↩ 7
什么,我→数学定理=他?[菠之萝雪糕集_宇宙]
♥ 11 ↩ 2
欧拉:我的论文从我死了到现在我的论文[doge]瑞士都没有整理完[doge]他也是论文制作机[doge_金箍]
♥ 8 ↩ 2
文章憎命达,但数学会平等地对待一切
♥ 8
竞赛生,出列!(光是《数论:概念与问题》上就有无数个Erdos)
♥ 8 ↩ 2
my brain is open.说的是我的大脑是开放的,我可以与你共享我的知识
♥ 7
第二[打call]
♥ 5 ↩ 1
既然都提到AI和数学了,要不有时间讲讲计算机辅助证明(比如coq和lean)吧[doge]
♥ 4
paul.erdos?!
♥ 3
奥本海默是美国本土科学家吧,虽然本科之后确实去欧洲拿了博士[脸红]
♥ 3
陶的恩师
♥ 3