肯尼思·丘嫩—现代基础数学研究的楷模

    在我们国内，肯尼思·丘嫩（Kenneth Kunen，1943- ）的名字及其数学成就一般不为人知。这是很不幸的事情。

实际上，肯尼思·丘嫩是现代基础数学研究的楷模，值得国内年轻学子关注与学习。为什么？

   丘嫩25岁取得数学博士学位，一生潜心研究数学基础问题，不爱“出风头”，在公理集合论、大基数、拓扑学、测度论、非结合代数诸多基础性领域研究成果颇多，著有“数学基础”（2009）、集合论（2011）等大部头名著，被世界广泛引用。

丘嫩的研究工作，得益于使用数学软件“证明器”（Otter prover）进行数学探究，善于在基础科学研究中利用现代化的研究工具。这是我们需要学习的地方。

可以说，丘嫩把一生的精力贡献给了数学事业，不求名利与地位。我们开辟“互联网数学家乐园”的初衷就在于希望帮助国内年轻一代数学爱好者的顺利成长、成才。

袁萌  3月21日