Kenneth Kunen
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.
Kenneth Kunen | |
|---|---|
Kunen, Hearst Mining Building, 1972 | |
| Born | Herbert Kenneth Kunen August 2, 1943 New York City |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.