Howard Jerome Keisler

Howard Jerome Keisler (nacido el 3 de diciembre de 1936) es un matemático estadounidense , actualmente profesor emérito de la Universidad de Wisconsin-Madison . Su investigación ha incluido teoría de modelos y análisis no estándar .

Su doctorado. el asesor fue Alfred Tarski en Berkeley ; su disertación es Ultraproductos y clases elementales (1961).

Siguiendo el trabajo de Abraham Robinson que resolvió lo que durante mucho tiempo se pensó que eran contradicciones lógicas inherentes a la interpretación literal de la notación de Leibniz que el propio Leibniz había propuesto, es decir, interpretar "dx" como una representación literal de una cantidad infinitamente pequeña, Keisler publicó Cálculo elemental: An Infinitesimal Approach , un libro de texto de cálculo de primer año centrado conceptualmente en el uso de infinitesimales, en lugar del enfoque épsilon, delta , para desarrollar el cálculo.

También es conocido por extender la construcción Henkin (de Leon Henkin ) a lo que ahora se llaman modelos Henkin-Keisler. ^[1]^[2] También es conocido por la orden Rudin-Keisler junto con Mary Ellen Rudin .

Ocupó la cátedra de Profesor Vilas de Matemáticas en Wisconsin.

Entre los estudiantes de posgrado de Keisler, varios han hecho contribuciones matemáticas notables, incluido Frederick Rowbottom, quien descubrió los cardenales de Rowbottom . Varios otros han seguido carreras en investigación en informática y desarrollo de productos, entre ellos: Michael Benedikt, profesor de informática en la Universidad de Oxford , Kevin J. Compton, profesor de informática en la Universidad de Michigan , Curtis Tuckey, desarrollador de entornos de colaboración basados en software; Joseph Sgro , neurólogo y desarrollador de hardware y software de procesadores de visión, y Edward L. Wimmers, investigador de bases de datos en IBM Almaden Research Center .

En 2012 se convirtió en miembro de la Sociedad Matemática Estadounidense . ^[3]

Su hijo Jeffrey Keisler es catedrático distinguido Fulbright en la Facultad de Administración de la Universidad de Massachusetts, Boston. ^[4]

Publicaciones

Chang, CC ; Keisler, HJ Teoría del modelo continuo. Annals of Mathematical Studies, 58, Princeton University Press, 1966. xii+165 págs.
Teoría de modelos para lógica infinita , Holanda Septentrional, 1971
Chang, CC; Keisler, HJ Teoría del modelo. Tercera edicion. Estudios de lógica y fundamentos de las matemáticas, 73. North-Holland Publishing Co., Ámsterdam, 1990. xvi+650 págs. ISBN 0-444-88054-2 ; 1ª edición 1973; ^[5] 2ª edición 1977
Cálculo elemental: un enfoque infinitesimal. Prindle, Weber y Schmidt, 1976/1986. Disponible en línea en [1].
Un enfoque infinitesimal al análisis estocástico , Memorias de la Sociedad Matemática Estadounidense, 1984
Keisler, HJ; Robbin, Joel. Lógica Matemática y Computabilidad , McGraw-Hill, 1996
Fajardo, Sergio ; Keisler, HJ Teoría del modelo de procesos estocásticos , Apuntes de conferencias sobre lógica, Asociación de lógica simbólica. 2002

Ver también

Referencias

^ G. Weaver (2001) [1994], "Construcción Henkin", Enciclopedia de Matemáticas , EMS Press
^ George Weaver (1997). Modelos Henkin-Keisler . Saltador. ISBN 978-0-7923-4366-0.
^ Lista de miembros de la Sociedad Estadounidense de Matemáticas, consultado el 27 de enero de 2013.
^ "Keisler es el primer profesor de la UMass Boston en ser nombrado presidente distinguido de Fulbright".
^ Makkai, M. (1976). "Revisión: teoría de modelos de CC Chang y HJ Keisler" (PDF) . Toro. América. Matemáticas. Soc . 82 (3): 433–446. doi : 10.1090/s0002-9904-1976-14035-9 .

enlaces externos

Howard Jerome Keisler en el Proyecto de Genealogía de Matemáticas
La página de inicio de Keisler