インターネットにお墓を作ろう！ - 人生まとめサイト【bochi】

ケネス・キューネン氏（数学者）

2020年8月14日 逝去

File:Kenneth Kunen.jpg／thumb／200px／right／ケネス・キューネンハーバート・ケネス・キューネン（Herbert Kenneth Kunen、1943年8月2日 - 2020年8月14日）は、アメリカ合衆国の数学者。キューネンはスタンフォード大学で1968年に博士号を取得している 。指導教員はデイナ・スコットであった。ウィスコンシン大学マディソン校 の数学名誉教授で、集合論及び集合論的位相空間論や測度論を研究している。準群／ループのような非結合的代数系に関してもOtterなどといった自動定理証明システムを用いて定理を証明し功績をあげている。キューネンは構成可能宇宙の非自明な初等埋め込み ''j'':''L''→''L'' が存在すれば、zero sharp／0#が存在することを示した。また、彼はHuge cardinalの存在性が無矛盾なら\aleph_1 上のnormalな\aleph_2-飽和イデアルの存在が無矛盾であることも示している。彼は可測基数 \kappa が 2^\kappa>\kappa^+ となるか強コンパクト基数であるなら\kappa 個の可測基数が存在する集合論の内部モデル (数学)／内部モデルが存在することを示して、iterated ultrapowersの方法を提唱した。

（ウィキペディアより）

公式サイト

前へ 次へ