Howard Jerome Keisler - Howard Jerome Keisler
Howard Keisler | |
---|---|
Nació |
Seattle , Estados Unidos
|
3 de diciembre de 1936
Conocido por | Análisis no estándar |
Carrera científica | |
Los campos | Matemáticas |
Instituciones | Universidad de Wisconsin-Madison |
Asesor de doctorado | Alfred Tarski |
Estudiantes de doctorado | Frederick Rowbottom |
Howard Jerome Keisler (nacido el 3 de diciembre de 1936) es un matemático estadounidense , actualmente profesor emérito en la Universidad de Wisconsin-Madison . Su investigación ha incluido la teoría de modelos y el análisis no estándar .
Su Ph.D. el asesor fue Alfred Tarski en Berkeley ; su disertación es Ultraproductos y clases elementales (1961).
Siguiendo el trabajo de Abraham Robinson para resolver lo que durante mucho tiempo se había pensado que eran contradicciones lógicas inherentes en 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 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 . También es conocido por los pedidos de Rudin-Keisler junto con Mary Ellen Rudin .
Ocupó la cátedra nombrada de Vilas Professor of Mathematics en Wisconsin.
Entre los estudiantes graduados de Keisler, varios han hecho contribuciones matemáticas notables, incluido Frederick Rowbottom, quien descubrió a los cardenales de Rowbottom . Varios otros han seguido carreras en investigación y desarrollo de productos en ciencias de la computación, entre ellos: Michael Benedikt, profesor de ciencias de la computación en la Universidad de Oxford , Kevin J. Compton , profesor de ciencias de la computación 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 American Mathematical Society .
Su hijo Jeffrey Keisler es un catedrático distinguido Fulbright en la Facultad de Administración de la Universidad de Massachusetts, Boston.
Publicaciones
- Chang, CC ; Keisler, HJ Continuous Model Theory . Annals of Mathematical Studies, 58, Princeton University Press, 1966. xii + 165 págs.
- Teoría de modelos para la lógica infinita , Holanda Septentrional, 1971
- Chang, CC; Keisler, teoría del modelo HJ . Tercera edición . Estudios de lógica y fundamentos de las matemáticas, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi + 650 págs. ISBN 0-444-88054-2 ; 1ª edición 1973; 2da edición 1977
- Cálculo elemental: un enfoque infinitesimal. Prindle, Weber y Schmidt, 1976/1986. Disponible en línea en [1] .
- Un enfoque infinitesimal del 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 Model Theory of Stochastic Processes , Lecture Notes in Logic, Association for Symbolic Logic. 2002
Ver también
- Críticas al análisis no estándar
- Cálculo no estándar
- Cálculo elemental: un enfoque infinitesimal
- Influencia del análisis no estándar
Referencias
enlaces externos