Kenneth Kunen

From Simple English Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Kenneth Kunen
Kenneth Kunen.jpg
Herbert Kenneth Kunen

(1943-08-02)August 2, 1943
DiedAugust 14, 2020(2020-08-14) (aged 77)
Alma materCalifornia Institute of Technology
Stanford University
Known forset theory, set-theoretic topology, non-associative algebraic systems
Scientific career
InstitutionsUniversity of Wisconsin–Madison
Doctoral advisorDana Scott

Herbert Kenneth Kunen (August 2, 1943 – August 14, 2020[1]) was an American professor of mathematics at the University of Wisconsin–Madison.[2]

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[change | change source]

  1. "In Memoriam: Ken Kunen". Department of Mathematics, University of Wisconsin–Madison.