Kenneth Kunen
id:
kenneth-kunen-169-6870497
title:
Kenneth Kunen
text:
Herbert Kenneth Kunen 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.
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician (1943–2020)
original url:
https://en.wikipedia.org/wiki/Kenneth_Kunen
date created:
2006-06-25T22:36:11Z
date modified:
2024-08-31T15:02:50Z
main entity:
{"identifier":"Q782431","url":"https://www.wikidata.org/entity/Q782431"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/1/1b/Kenneth_Kunen.jpg","width":400,"height":267}
fields total:
13
integrity:
16