您现在的位置: 首页 > 网站导航收录 > 百科知识百科知识
策梅洛定理(策梅洛定理与生活)
公理,数学,希尔伯特策梅洛定理(策梅洛定理与生活)
发布时间:2019-02-08加入收藏来源:互联网点击:
总之,没有哪个学派有权力宣称它就代表了数学,而更加不幸的是, 正如海廷在1960年评论的,从1930年开始,无休止的论战取代了友好合作的精神。
在1901年,罗素说道, “现代数学最主要的成就就在于发现了什么是真正的数学。”这 些话至今仍能自然而然地打动我们。除了几个学派在作为今天的数学什么是可以接受的问题上存在分歧之外,人们可以对将来给予更多的期望。现存的学派一直在忙于证明当前的数学是正确的, 但如果注意到希腊数学在17世纪和19世纪的遭遇,人们就会发现戏剧的巨变。这几个现代学派试图证明20世纪数学的合理,可它们能够 符合21世纪数学的要求吗?直觉主义者确实在思索着数学的成长与发展,可是他们的“直觉”有能力给出或产生历史上没有过的东西吗?当 然,即便在1930年,回答也是否定的。因此,对数学基础的修正看上去总是必需的。
一则寓言恰如其分地概括了20世纪有关数学基础的进展状况。在莱茵河畔,一座美丽的城堡已经矗立了许多个世纪。在城堡的地下室生活着一群蜘蛛,突然一阵大风吹散了它们辛辛苦苦编织的一张繁复的蛛网,于是它们慌乱地加以修补,因为它们认为,正是蛛网支撑着整个城堡。
特 别 提 示
1. 进入『返朴』微信公众号底部菜单“精品专栏“,可查阅不同主题系列科普文章。
2. 『返朴』提供按月检索文章功能。关注公众号,回复四位数组成的年份+月份,如“1903”,可获取2019年3月的文章索引,以此类推。
版权声明:本文由《返朴》原创,欢迎个人转发,严禁任何形式的媒体未经授权转载和摘编。
《返朴》,致力好科普。国际著名物理学家文小刚与生物学家颜宁联袂担任总编,与几十位学者组成的编委会一起,与你共同求索。关注《返朴》(微信号:fanpu2019)参与更多讨论。二次转载或合作请联系fanpu2019@outlook.com。
本文到此结束,希望对大家有所帮助呢。
下一篇:返回列表
相关链接 |
||
网友回复(共有 0 条回复) |