在我们国内,肯尼思·丘嫩(Kenneth Kunen,1943- )的名字及其数学成就一般不为人知。这是很不幸的事情。
实际上,肯尼思·丘嫩是现代基础数学研究的楷模,值得国内年轻学子关注与学习。为什么?
丘嫩25岁取得数学博士学位,一生潜心研究数学基础问题,不爱“出风头”,在公理集合论、大基数、拓扑学、测度论、非结合代数诸多基础性领域研究成果颇多,著有“数学基础”(2009)、集合论(2011)等大部头名著,被世界广泛引用。
丘嫩的研究工作,得益于使用数学软件“证明器”(Otter prover)进行数学探究,善于在基础科学研究中利用现代化的研究工具。这是我们需要学习的地方。
可以说,丘嫩把一生的精力贡献给了数学事业,不求名利与地位。我们开辟“互联网数学家乐园”的初衷就在于希望帮助国内年轻一代数学爱好者的顺利成长、成才。
实际上,肯尼思·丘嫩是现代基础数学研究的楷模,值得国内年轻学子关注与学习。为什么?
丘嫩25岁取得数学博士学位,一生潜心研究数学基础问题,不爱“出风头”,在公理集合论、大基数、拓扑学、测度论、非结合代数诸多基础性领域研究成果颇多,著有“数学基础”(2009)、集合论(2011)等大部头名著,被世界广泛引用。
丘嫩的研究工作,得益于使用数学软件“证明器”(Otter prover)进行数学探究,善于在基础科学研究中利用现代化的研究工具。这是我们需要学习的地方。
可以说,丘嫩把一生的精力贡献给了数学事业,不求名利与地位。我们开辟“互联网数学家乐园”的初衷就在于希望帮助国内年轻一代数学爱好者的顺利成长、成才。
袁萌 3月21日