在国内互联网上划出一个“圈子”,研讨纯粹数学,何乐而不为?
当今,各个现代数学分支都以集合论作为基础。1874年,康托尔创立了集合论。1922年,数学家为康托尔集合论实现了“公理化”,也就是说,为集合论搞了一套管理系统,使其成为“理论”
(形式语言的句子集合)。
肯尼思·丘嫩(Kenneth Kunen,1943- )是个“怪人”,喜欢用电脑证明数学定理。1980年,Kunen为集合论提供了一套公理系统。这就是我们的“切入点”。
康托尔在天之灵,看到人类在他百年之后还在用电脑摆弄他的集合论,一定会微笑不止。
今后,小朋友拿着手机证明数学定理,将不是新鲜事儿。
Kunen怎么给康托尔集合论“配套”公理系统?下回分解。
注:参见Kunen的“Set Theory: AnIntroduction to Independence”,1980年发表。
当今,各个现代数学分支都以集合论作为基础。1874年,康托尔创立了集合论。1922年,数学家为康托尔集合论实现了“公理化”,也就是说,为集合论搞了一套管理系统,使其成为“理论”
(形式语言的句子集合)。
肯尼思·丘嫩(Kenneth Kunen,1943- )是个“怪人”,喜欢用电脑证明数学定理。1980年,Kunen为集合论提供了一套公理系统。这就是我们的“切入点”。
康托尔在天之灵,看到人类在他百年之后还在用电脑摆弄他的集合论,一定会微笑不止。
今后,小朋友拿着手机证明数学定理,将不是新鲜事儿。
Kunen怎么给康托尔集合论“配套”公理系统?下回分解。
注:参见Kunen的“Set Theory: AnIntroduction to Independence”,1980年发表。
袁萌 3月20日