Howard Jerome Keisler

Matemático estadounidense

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 la teoría de modelos y el análisis no estándar .

Su asesor de doctorado fue Alfred Tarski en Berkeley ; su tesis se titula Ultraproducts and Elementary Classes (1961).

Tras el trabajo de Abraham Robinson , que resolvió lo que durante mucho tiempo se había considerado como 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 la representación literal de una cantidad infinitesimalmente pequeña, Keisler publicó Cálculo elemental: un enfoque infinitesimal , 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 el ordenamiento 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 cardinales de Rowbottom . Varios otros han seguido carreras en investigación informática y desarrollo de productos, incluidos: 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 el Centro de Investigación IBM Almaden .

En 2012 se convirtió en miembro de la American Mathematical Society . ^[3]

Su hijo Jeffrey Keisler es titular de una cátedra distinguida Fulbright en la Facultad de Administración de Empresas de la Universidad de Massachusetts, Boston. ^[4]

Publicaciones

• Chang, CC ; Keisler, HJ Teoría de modelos continuos. Anales de estudios matemáticos, 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 de modelos. Tercera edición. Estudios de lógica y fundamentos de las matemáticas, 73. North-Holland Publishing Co., Ámsterdam, 1990. xvi+650 pp. ISBN  0-444-88054-2 ; 1.ª edición 1973; ^[5] 2.ª edición 1977
• Cálculo elemental: un enfoque infinitesimal. Prindle, Weber & Schmidt, 1976/1986. Disponible en línea en [1].
• Un enfoque infinitesimal para el análisis estocástico , Memorias de la American Mathematical Society, 1984
• Keisler, HJ; Robbin, Joel. Lógica matemática y computabilidad , McGraw-Hill, 1996
• Fajardo, Sergio ; Keisler, HJ Teoría de modelos de procesos estocásticos , Notas de clase en lógica, Asociación para la lógica simbólica. 2002

Véase también

• Crítica del análisis no estándar
• Cálculo no estándar
• Cálculo elemental: un enfoque infinitesimal
• Influencia del análisis no estándar

Referencias

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

Enlaces externos

• Howard Jerome Keisler en el Proyecto de Genealogía Matemática
• Página de inicio de Keisler