【疯狂数学家】欧几里得：数学界的祖师爷，开创后世公理化的蓝本 / 四六文摘

哥德尔不完全性定理表明,任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题. 没有证明有没有证明只有有限多的质数?当然没有! ...

哪种几何才是真的 --非欧几何与现代数学的"公理"(下) 我们在<哪种几何才是真的(上)>中介绍了大家所熟知的欧几里得几何,以及人们从两千多年来对平行公里的质疑与研究中 ...

今天读到加州理工大学数学系倪忆教授的一篇文章,介绍的是最新当选美国科学院院士的杰出女性数学家,94岁高龄的琼.伯曼.很有所感. 倪忆教授的这篇介绍,揭示了数学界结构性性别不平等的一些细节.伯曼做为&q ...

强大的理论本身就有其美丽和优雅,但如果一切都是死板的,那岂不是非常枯燥? 近日,一位名为 Giles Gardam 的博士后数学家就单位猜想(unit conjecture)的问题进行了一场在线讲座. ...

朗读者 "谢谢"教会我们如何去爱这个世界. 本期朗读者,数学家丘成桐,为我们朗读陶渊明的<归去来兮辞>节选. 大家好,我是丘成桐. 今天我要朗读的是陶渊明的<归去 ...

"数学界Lady Gaga"现身这场学术盛宴:数学家往往在社会中扮演特别角色,神秘而令人敬畏文汇 2021/07/13 09:56 ▲菲尔兹奖获得者赛德里克·维拉尼 7月12日开 ...

e (自然常数,也称为欧拉数)是自然对数函数的底数.它是数学中最重要的常数之一,是一个无理数,就是说跟 π 一样是无限不循环小数,在小数点后面无穷无尽,永不重复...... 下面就是 e 的 2999 ...

#数学里的自然底数e是怎么来的# e (自然常数,也称为欧拉数)是自然对数函数的底数.它是数学中最重要的常数之一,是一个无理数,就是说跟 π 一样是无限不循环小数,在小数点后面无穷无尽,永不重复... ...

20 世纪最著名的数学家之一的尼古拉·布尔巴基,实际上只是位虚构出来人物,他的存在仅是一群法国数学家为了共同进行学术研究合作发布著作而起的笔名.布尔巴基团体的正式称呼是"尼古拉·布尔巴基合作 ...

数学是神的语言世间万物无不运行于其间宛如普罗米修斯的火种一般能够带来光明却又带着禁忌的魅力人类踏足这个领域本身就是一种荣幸一千多年前的祖冲之曾云: "迟疾之率,非出神怪有形可检 ...

【疯狂数学家】欧几里得：数学界的祖师爷，开创后世公理化的蓝本