肯尼思·丘嫩
外觀
肯尼思 ・ 丘嫩(英語:Herbert Kenneth Kunen,一九四三年八月初二—二空二空年八月十四號), 美國數學家,威斯康辛大學麥迪綴分校名譽教授,研究領域為集合論和其在各數學領域(如集合論拓撲學佮測度論)中的應用。丘嫩嘛研究非結合代數系統(如擬群), 而且使用 Otter 啥物電腦軟體來推導定理。
生平
本科就讀佇加州理工學院,一九六八年獲史丹佛大學哲學博士學位,導師為著達納 ・ 斯科特。後在威斯康辛大學麥迪綴咧分校做工課。一九七空年晉升副教授,一九七二年晉升教授。二空空八年夏退休。
二空二空年八月十四過身。
部份的出版品
- _ The Foundations of Mathematics _ . College Publications , 二千空九 . ISBN 九百七十八八八十一孵九十鼻空四千九百八十七孵十四孵七 .
- _ Set Theory : An Introduction to Independence Proofs _ . North-Holland , 一千九百八十 . ISBN 空抹四百四十四抹八鋪五千四百空一鋪空 .
- ( co-edited with Jerry E . Vaughan ) . _ Handbook of Set-Theoretic Topology _ . North-Holland , 一千九百八十四 . ISBN 空九四百四十四抹八七五百八十二 .
參考資料
外部連結
- 肯尼思 ・ 丘幼的個人條頁