Говард Джером Кейслер
Говард Кейслер | |
---|---|
Рожденный | Сиэтл , США | 3 декабря 1936 г.
Известный | Нестандартный анализ |
Научная карьера | |
Поля | Математика |
Учреждения | Университет Висконсина-Мэдисона |
Докторантура | Альфред Тарский |
Докторанты | Фредерик Роуботтом |
Говард Джером Кейслер (родился 3 декабря 1936 года) — американский математик , в настоящее время почётный профессор Университета Висконсин-Мэдисон . Его исследования включали теорию моделей и нестандартный анализ .
Его доктор философии. советником был Альфред Тарский в Беркли ; его диссертация - «Ультрапродукты и элементарные классы» (1961).
После работы Абрахама Робинсона , разрешившей то, что долгое время считалось внутренним логическим противоречием в буквальной интерпретации обозначений Лейбница , предложенной самим Лейбницем, то есть интерпретации «dx» как буквально представляющего бесконечно малую величину, Кейслер опубликовал «Элементарное исчисление»: «Бесконечно-малый подход» — учебник по исчислению для первого курса, концептуально ориентированный на использование бесконечно малых, а не эпсилон-дельта-подхода для разработки исчисления.
Он также известен тем, что расширил конструкцию Хенкина ( Леона Хенкина ) до того, что сейчас называется моделями Хенкина-Кейслера . [1] [2] Он также известен благодаря ордену Рудина-Кейслера вместе с Мэри Эллен Рудин .
Он занимал названную кафедру профессора математики Виласа в Висконсине.
Среди аспирантов Кейслера некоторые внесли заметный математический вклад, в том числе Фредерик Роуботтом, открывший кардиналы Роуботтома . Несколько других сделали карьеру в области компьютерных исследований и разработки продуктов, в том числе: Майкл Бенедикт, профессор информатики Оксфордского университета , Кевин Дж. Комптон , профессор информатики Мичиганского университета , Кертис Таки, разработчик программных сред для совместной работы; Джозеф Сгро , невролог и разработчик аппаратного и программного обеспечения процессоров машинного зрения , и Эдвард Л. Виммерс , исследователь баз данных в исследовательском центре IBM в Альмадене .
В 2012 году он стал членом Американского математического общества . [3]
Его сын Джеффри Кейслер является почетным председателем Фулбрайта в Колледже менеджмента Массачусетского университета в Бостоне. [4]
Публикации [ править ]
- Чанг, CC ; Кейслер, Х. Дж. Теория непрерывных моделей . Анналы математических исследований, 58, Princeton University Press, 1966. xii+165 стр.
- Модельная теория бесконечной логики , Северная Голландия, 1971 г.
- Чанг, CC; Кейслер, Г. Дж. Теория моделей . Третье издание . Исследования по логике и основам математики, 73. North-Holland Publishing Co., Амстердам, 1990. xvi+650 стр. ISBN 0-444-88054-2 ; 1-е издание 1973 г.; [5] 2-е издание 1977 г.
- Элементарное исчисление: бесконечно малый подход. Приндл, Вебер и Шмидт, 1976/1986. Доступно онлайн по адресу [1] .
- Бесконечно малый подход к стохастическому анализу , мемуары Американского математического общества, 1984 г.
- Кейслер, HJ; Роббин, Джоэл. Математическая логика и вычислимость , МакГроу-Хилл, 1996 г.
- Фахардо, Серхио ; Кейслер, Х. Дж. Модельная теория случайных процессов , Конспекты лекций по логике, Ассоциация символической логики. 2002 г.
См. также [ править ]
- Критика нестандартного анализа
- Нестандартное исчисление
- Элементарное исчисление: бесконечно малый подход
- Влияние нестандартного анализа
Ссылки [ править ]
- ^ Г. Уивер (2001) [1994], «Конструкция Хенкина» , Энциклопедия математики , EMS Press
- ^ Джордж Уивер (1997). Модели Хенкина-Кейслера . Спрингер. ISBN 978-0-7923-4366-0 .
- ↑ Список членов Американского математического общества , получено 27 января 2013 г.
- ^ «Кейслер - первый профессор Массачусетского университета в Бостоне, удостоенный звания заслуженного председателя Фулбрайта» .
- ^ Маккай, М. (1976). «Обзор: теория моделей К.С. Чанга и Х.Дж. Кейслера» (PDF) . Бык. амер. Математика. Соц . 82 (3): 433–446. дои : 10.1090/s0002-9904-1976-14035-9 .