Kenneth Kunen

From Simple English Wikipedia, the free encyclopedia
Kenneth Kunen
Born
Herbert Kenneth Kunen

(1943-08-02)August 2, 1943
DiedAugust 14, 2020(2020-08-14) (aged 77)
NationalityAmerican
Alma materCalifornia Institute of Technology
Stanford University
Known forset theory, set-theoretic topology, non-associative algebraic systems
Scientific career
FieldsMathematics
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. Archived from the original on 2021-03-09. Retrieved 2020-08-19.
  2. http://www.math.wisc.edu/~apache/emeriti.html