Herbert Kenneth Kunen (August 2, 1943 – August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison 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.
Born |
2 August 1943 (1943-08-02)August 2, 1943
|
Died |
14 August 2020 (aged 77)
|
Zodiac | Leo |
Tags | Add tag |