Kenneth Kunen
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 |
| Doctoral advisor | Dana Scott |
Herbert Kenneth Kunen (August 2, 1943 – August 14, 2020[1][2]) was an American professor of mathematics at the University of Wisconsin–Madison.[3]
He worked in set 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.
References
- ↑ "In Memoriam: Ken Kunen". Department of Mathematics, University of Wisconsin–Madison. Archived from the original on 2021-03-09. Retrieved 2020-08-19.
- ↑ "Kenneth Kunen Obituary (1943 - 2020) - Madison, WI - Madison.com". Legacy.com. Retrieved 2024-11-27.
- ↑ http://www.math.wisc.edu/~apache/emeriti.html