肯尼思·丘嫩
肯尼思·丘嫩（英语：Herbert Kenneth Kunen，1943年8月2日－2020年8月14日），美国数学家，威斯康辛大学麦迪逊分校名誉教授，研究领域为集合论和其在各数学领域（如集合论拓扑学和测度论）中的应用。丘嫩也研究非结合代数系统（如拟群），且使用Otter之类的电脑软件来推导定理。
| 肯尼思·丘嫩 | |
|---|---|
 | |
| 原文名 | Herbert Kenneth Kunen |
| 出生 | 1943年8月2日 美国纽约市 |
| 逝世 | 2020年8月14日（77岁） |
| 母校 | 加州理工学院 史丹佛大学 |
| 职业 | 威斯康辛大学麦迪逊分校名誉教授 |
| 网站 | 个人首页 |
生平
本科就读于加州理工学院[1]，1968年获史丹佛大学哲学博士学位，导师为达纳·斯科特[2]。后在威斯康辛大学麦迪逊分校工作。1970年晋升副教授，1972年晋升教授。2008年夏退休[3]。
2020年8月14日逝世[4]。
部分出版品
- The Foundations of Mathematics. College Publications, 2009. 编辑
- ^ Hart, Joan (编). Special Issue: Ken Kunen. Topology and Its Applications. 2011-12, 158 (18): 2443–2564 [2020-09-08]. （原始内容存档于2015-09-24）.
- ^ 肯尼思·丘嫩在数学谱系计划的资料。
- ^ Arnold W. Miller. Biography of Kenneth Kunen. Topology and its Applications. 2011, 158 (18): 2445. doi:10.1016/j.topol.2011.08.003.
- ^ In Memoriam: Ken Kunen. Department of Mathematics, University of Wisconsin–Madison. [2020-09-08]. （原始内容存档于2021-03-09）.
外部链接
- 肯尼思·丘嫩的个人首页 （页面存档备份，存于互联网档案馆）