Kenneth Kunen | |
---|---|
Born | Herbert Kenneth Kunen August 2, 1943 |
Died | August 14, 2020 | (aged 77)
Nationality | American |
Alma mater | California Institute of Technology Stanford University |
Known for | set theory, set-theoretic topology, non-associative algebraic systems |
Scientific career | |
Fields | Mathematics |
Institutions | University of Wisconsin–Madison |
Thesis | Inaccessibility Properties of Cardinals (1968) |
Doctoral advisor | Dana Scott |
Herbert Kenneth Kunen (August 2, 1943 – August 14, 2020[1]) was a professor of mathematics at the University of Wisconsin–Madison[2] who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also worked on non-associative algebraic systems, such as loops, and used computer software, such as the Otter theorem prover, to derive theorems in these areas.