Herbert Kenneth Kunen (2 de agosto de 1943-14 de agosto de 2020 [1] ) fue un profesor de matemáticas en la Universidad de Wisconsin-Madison [2] que trabajó en la teoría de conjuntos y sus aplicaciones a diversas áreas de las matemáticas, como conjuntos- topología teórica y teoría de la medida . También trabajó en sistemas algebraicos no asociativos , como bucles , y utilizó software de computadora, como el demostrador de teoremas de Otter , para derivar teoremas en estas áreas.
Kenneth Kunen | |
---|---|
Nació | Herbert Kenneth Kunen 2 de agosto de 1943 |
Fallecido | 14 de agosto de 2020 | (77 años)
Nacionalidad | americano |
alma mater | Instituto de Tecnología de California, Universidad de Stanford |
Conocido por | teoría de conjuntos, topología teórica de conjuntos , sistemas algebraicos no asociativos |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Wisconsin-Madison |
Asesor de doctorado | Dana Scott |
Vida personal
Kunen nació en la ciudad de Nueva York en 1943 y murió en 2020. [1] Vivía en Madison, Wisconsin , con su esposa Anne, con quien tuvo dos hijos, Isaac y Adam. [3]
Educación
Kunen completó su licenciatura en el Instituto de Tecnología de California [3] y recibió su Ph.D. en 1968 de la Universidad de Stanford , donde fue supervisado por Dana Scott . [4]
Carrera e investigación
Kunen demostró que si existe una incrustación elemental no trivial j : L → L del universo construible , entonces 0 # existe. Demostró la consistencia de un-ideal saturado en de la consistencia de la existencia de un enorme cardenal . Introdujo el método de ultrapoderes iterados , con el que demostró que sies un cardenal medible con o es un cardinal fuertemente compacto, entonces hay un modelo interno de teoría de conjuntos conmuchos cardenales mensurables. Demostró el teorema de inconsistencia de Kunen mostrando la imposibilidad de una incrustación elemental no trivial, que se había sugerido como una gran suposición cardinal (un cardenal Reinhardt ).
Lejos del área de los grandes cardenales, Kunen es conocido por intrincadas construcciones forzadas y combinatorias. Demostró que es consistente que el axioma de Martin falla primero en un cardinal singular y construye bajo la hipótesis del continuo un espacio L compacto que sustenta una medida no separable. También demostró que no tiene una cadena de longitud creciente en el modelo estándar de Cohen donde el continuo es. El concepto de árbol Jech-Kunen lleva su nombre y el de Thomas Jech .
Bibliografía
La revista Topology and its Applications ha dedicado un número especial a "Ken" Kunen, [3] que contiene una biografía de Arnold W. Miller , y encuestas sobre la investigación de Kunen en varios campos por Mary Ellen Rudin , Akihiro Kanamori , István Juhász , Jan van Mill , Dikran Dikranjan y Michael Kinyon .
Publicaciones Seleccionadas
- Establecer teoría . Publicaciones universitarias, 2011. ISBN 978-1848900509 .
- Los fundamentos de las matemáticas . Publicaciones universitarias, 2009. ISBN 978-1-904987-14-7 .
- Teoría de conjuntos: una introducción a las pruebas de independencia . Holanda Septentrional, 1980. ISBN 0-444-85401-0 . [5]
- (coeditado con Jerry E. Vaughan). Manual de topología teórica de conjuntos . Holanda Septentrional, 1984. ISBN 0-444-86580-2 . [6]
Referencias
- ^ a b "In Memoriam: Ken Kunen" . Departamento de Matemáticas, Universidad de Wisconsin – Madison .
- ^ http://www.math.wisc.edu/~apache/emeriti.html
- ^ a b c Hart, Joan, ed. (1 de diciembre de 2011). "Número especial: Ken Kunen" . Topología y sus aplicaciones . 158 (18): 2443–2564.
- ^ Kenneth Kunen en el Proyecto de genealogía matemática
- ^ Henson, C. Ward (1984). "Revisión: teoría de conjuntos, una introducción a las pruebas de independencia , por Kenneth Kunen" (PDF) . Toro. Amer. Matemáticas. Soc. (NS) . 10 (1): 129-131. doi : 10.1090 / s0273-0979-1984-15214-5 .
- ^ Baldwin, Stewart (diciembre de 1987). "Revisión: manual de topología teórica de conjuntos editado por Kenneth Kunen y Jerry E. Vaughan". El diario de la lógica simbólica . 52 (4): 1044–1045. doi : 10.2307 / 2273837 . JSTOR 2273837 .
enlaces externos
- Página de inicio de Kunen