【原创】《造物法则》序章 没有时间的人(14)

②康托尔连续统假设：1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。常记作CH。该假设直白点说，就是无穷集合中，除了整数集的基数，实数集的基数是最小的。在1900年第二届国际数学家大会上，大卫·希尔伯特把康托尔的连续统假设列入20世纪有待解决的23个重要数学问题之首。广义连续统假设简称GCH，连续统假设的推广，是对一般无穷基数的幂的一种假设。它可以叙述为:对任何无穷集合A，不存在集合的势大于A的势而小于幂集P(A)的势。
③可构造集：可构造集全域(u niverse of constructible sets)是 一种可构造集模型。美籍奥地利数学家哥德尔 (Godel , K.)用于证明连续统假设与选择公理的相容性所构造的ZF系统模型，也是ZF系统的最重要的内模型。
④NGB系统：通用的公理系统之一，冯诺依曼提出，并经过哥德尔和伯尼斯修改，在NGB之中，类和集合做了区分，它允许很多不是集合的类的存在，如全体集合的类V，全体基数的类Card和全体序数的类Ord，等等。冯诺依曼认为集合论悖论产生的原因不在于承认了这些类，而是在于将类当做了集合。只要不将这些类当做集合，就不会产生悖论。
⑤“豪斯多夫”（Hausdorff）大奖：集合论领域的最高奖项。
⑥Arxiv：一个免费张贴和下载预印本的网站，最初用于高能物理和粒子物理学家之间的交流，如今已经发展到了物理学的各个领域，且延伸到了物理，数学，非线性科学，计算机科学，数量生物学，数量金融学，统计学等多个领域。
⑦菲尔兹奖、阿贝尔奖：前者为年轻数学家的最高荣誉，后者为数学界最高奖，两者均被称为数学界的诺贝尔奖。
⑧千禧年大奖难题：千禧年大奖难题(Millennium Prize Problems), 又称世界七大数学难题， 是七个由美国克雷数学研究所(Clay Mathematics Institute,CMI) 于2000年5月24日公布的数学猜想。根据克雷数学研究所订定的规则，任何一个猜想的解答，只要发表在数学期刊上，并经过两年的验证期，解决者就会被颁发一百万美元奖金。这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个数学问题。这些难题分别是庞加莱猜想、P对NP问题， 霍奇猜想， 黎曼假设，杨－米尔斯理论存在性与质量缺口，纳维-斯托克斯方程。
⑨爱留根纳：全名约翰内斯·司各特·爱留根纳（Johannes Scotus Eriugena，约公元800年—公元877年），爱尔兰裔东罗马帝国哲学家。代表作是《论自然的区分》，此外还有《论神的预定》等。他建立了中世纪第一个完整的哲学体系，成为这一时期独具一格的哲学家，被称为“中世纪哲学之父”。他的泛神论，如崇尚理性、反对权威的思想，成了后来反正统经院哲学异端思潮的一 个重要理论来源。
⑩杭州棋院：国内唯一一所面向社会招生的全日制公办棋类学校,其中的杭州围棋学校被业内称为“清华北大”。