戴森:漫步在冯·诺依曼的花园

作者: 弗里曼·戴森

来源: 返朴

发布日期: 2020-03-10 08:26:10

弗里曼·戴森带我们漫步于冯·诺依曼的花园,欣赏其留下的丰富学术遗产。冯·诺依曼的著作被编纂成六卷文集,每一卷都展示了他从脑海中的想法和问题中长成的繁茂植栽。文章详细描述了冯·诺依曼在数学基础、集合论公设化、以及与希尔伯特的合作等方面的贡献。

弗里曼·戴森虽已去世,但他留下的文字仍旧值得细细品读,这次他带我们一起漫步于冯·诺依曼的花园,欣赏鲜丽繁花。

约翰·冯·诺依曼身后留下大量著作,这些作品由陶伯编纂成六卷的文集。这套文集是他的花园,里面收藏着他种下的各式各样的繁茂植栽,每一株都是从一粒种子、亦即他脑海里的一个想法或问题所长成。他发展想法或是解决问题,然后写下并发表。他写作速度快,发表也快,所以园中繁花仍鲜丽。

约翰在10到18岁时,就读于布达佩斯著名的路德会高中,那儿的教师优秀,而同学更是杰出。日后成为卓越物理学家的威格纳即是他的同学,也是他终身的挚友。约翰的父亲深知路德会高中无法满足他的学识需求,约翰的数学热忱远超出学校的教学能力,所以他的父亲聘请布达佩斯大学的数学家费克特担任他的家教。约翰花园中的第一朵花是题为《论某些最小多项式的零根位置》的论文,它是约翰18岁时,和费克特合作撰写发表的。

约翰的第二篇论文,《集合论的一种公设化》是两年后,当他21岁、在柏林大学念书时发表的。集合论是关于东西以及东西集合的理论,它只考虑这些东西的逻辑关系,忽略其个体性质。从集合论的观点,你、我、恒星、行星、词语和数字都只是东西,也都被同等看待。公设化指的是用两千多年前欧几里得描述几何的方式来描述集合论,也就是从几个被称为公设的基本假定出发,藉由逻辑推导来建构整套理论。

约翰为集合论找到一组新公设,他希望他的新公设可以为数学里所有有用的部分,建立相容一致的逻辑基础,同时还能避免出现悖论。

约翰在撰写这篇论文之前,曾和哥廷根大学的希尔伯特讨论过。希尔伯特比约翰年长四十岁,是当时全世界最著名的数学家。希尔伯特当时正大力提倡一个藉由解决「判定性问题」以化解数学危机的计划。解决判定性问题,指的是找出一种形式方法,以判定任何一条数学陈述的真或假。若能解决判定性问题,则可证明数学公设既是一致的,也是范畴的。

约翰的第二篇论文,《集合论的一种公设化》是两年后,当他21岁、在柏林大学念书时发表的。

集合论是关于东西以及东西集合的理论,它只考虑这些东西的逻辑关系,忽略其个体性质。从集合论的观点,你、我、恒星、行星、词语和数字都只是东西,也都被同等看待。公设化指的是用两千多年前欧几里得描述几何的方式来描述集合论,也就是从几个被称为公设的基本假定出发,藉由逻辑推导来建构整套理论。约翰为集合论找到一组新公设,他希望他的新公设可以为数学里所有有用的部分,建立相容一致的逻辑基础,同时还能避免出现悖论。

约翰在撰写这篇论文之前,曾和哥廷根大学的希尔伯特讨论过。希尔伯特比约翰年长四十岁,是当时全世界最著名的数学家。希尔伯特当时正大力提倡一个藉由解决「判定性问题」以化解数学危机的计划。解决判定性问题,指的是找出一种形式方法,以判定任何一条数学陈述的真或假。若能解决判定性问题,则可证明数学公设既是一致的,也是范畴的。

约翰的第二篇论文,《集合论的一种公设化》是两年后,当他21岁、在柏林大学念书时发表的。

集合论是关于东西以及东西集合的理论,它只考虑这些东西的逻辑关系,忽略其个体性质。从集合论的观点,你、我、恒星、行星、词语和数字都只是东西,也都被同等看待。公设化指的是用两千多年前欧几里得描述几何的方式来描述集合论,也就是从几个被称为公设的基本假定出发,藉由逻辑推导来建构整套理论。约翰为集合论找到一组新公设,他希望他的新公设可以为数学里所有有用的部分,建立相容一致的逻辑基础,同时还能避免出现悖论。

约翰在撰写这篇论文之前,曾和哥廷根大学的希尔伯特讨论过。希尔伯特比约翰年长四十岁,是当时全世界最著名的数学家。希尔伯特当时正大力提倡一个藉由解决「判定性问题」以化解数学危机的计划。解决判定性问题,指的是找出一种形式方法,以判定任何一条数学陈述的真或假。若能解决判定性问题,则可证明数学公设既是一致的,也是范畴的。

UUID: 90dcd197-102a-4465-8d71-03d422b63a78

原始文件名: /home/andie/dev/tudou/annot/AI语料库-20240917-V2/AI语料库/返朴公众号-pdf2txt/2020/返朴_2020-03-10_戴森:漫步在冯·诺依曼的花园.txt

是否为广告: 否

处理费用: 0.0139 元