Говард Джером Кейслер

американский математик

Говард Джером Кейслер (родился 3 декабря 1936 года) — американский математик , в настоящее время почетный профессор Висконсинского университета в Мадисоне . Его исследования включают теорию моделей и нестандартный анализ .

Его научным руководителем по докторской диссертации был Альфред Тарски из Беркли ; его диссертация — «Ультрапродукты и элементарные классы» (1961).

После работы Абрахама Робинсона , разрешившего то, что долгое время считалось неотъемлемыми логическими противоречиями в буквальной интерпретации обозначений Лейбница , предложенной самим Лейбницем, то есть интерпретации «dx» как буквального представления бесконечно малой величины, Кейслер опубликовал «Элементарное исчисление: подход к бесконечно малым» — учебник по исчислению для первого года обучения, концептуально сосредоточенный на использовании бесконечно малых величин, а не на подходе эпсилон, дельта , для развития исчисления.

Он также известен тем, что расширил конструкцию Хенкина ( Леона Хенкина ) до того, что сейчас называется моделями Хенкина–Кейслера. ^{[1] [2]} Он также известен упорядочением Рудина–Кейслера совместно с Мэри Эллен Рудин .

Он занимал должность профессора математики имени Виласа в Висконсине.

Среди аспирантов Кейслера несколько человек внесли заметный математический вклад, включая Фредерика Роуботтома , который открыл кардиналы Роуботтома . Несколько других продолжили карьеру в области исследований в области компьютерных наук и разработки продуктов, в том числе: Майкл Бенедикт, профессор компьютерных наук в Оксфордском университете , Кевин Дж. Комптон, профессор компьютерных наук в Мичиганском университете , Кертис Таки, разработчик программных сред совместной работы; Джозеф Сгро , невролог и разработчик аппаратного и программного обеспечения для процессоров зрения, и Эдвард Л. Виммерс, исследователь баз данных в исследовательском центре IBM Almaden .

В 2012 году он стал членом Американского математического общества . ^[3]

Его сын Джеффри Кейслер — почетный профессор Фулбрайта в Массачусетском университете в Бостоне, на факультете менеджмента. ^[4]

Публикации

• Чанг, К. К.; Кейслер, Х. Дж. Теория непрерывных моделей. Annals of Mathematical Studies, 58, Princeton University Press, 1966. xii+165 стр.
• Теория моделей бесконечной логики , Норт-Холланд, 1971
• Чанг, К.К.; Кейслер, Х.Дж. Теория моделей. Третье издание. Исследования по логике и основаниям математики, 73. North-Holland Publishing Co., Амстердам, 1990. xvi+650 стр. ISBN  0-444-88054-2 ; 1-е издание 1973; ^[5] 2-е издание 1977
• Elementary Calculus: An Infinitesimal Approach. Prindle, Weber & Schmidt, 1976/1986. Доступно онлайн по адресу [1].
• Бесконечно малый подход к стохастическому анализу , Мемуары Американского математического общества, 1984 г.
• Кейслер, Х.Дж.; Роббин, Джоэл. Математическая логика и вычислимость , McGraw-Hill, 1996
• Фахардо, Серхио ; Кейслер, Х. Дж. Модель теории случайных процессов , Конспект лекций по логике, Ассоциация символической логики. 2002

Смотрите также

• Критика нестандартного анализа
• Нестандартное исчисление
• Элементарное исчисление: подход к бесконечно малым величинам
• Влияние нестандартного анализа

Ссылки

1. G. Weaver (2001) [1994], "Конструкция Хенкина", Энциклопедия математики , EMS Press
2. Джордж Уивер (1997). Модели Хенкина-Кейслера . Спрингер. ISBN 978-0-7923-4366-0.
3. Список членов Американского математического общества, получен 27 января 2013 г.
4. «Кейслер — первый профессор Массачусетского университета в Бостоне, удостоенный звания «Выдающийся председатель программы Фулбрайта»».
5. Маккай, М. (1976). "Обзор: теория моделей CC Chang и HJ Keisler" (PDF) . Bull. Amer. Math. Soc . 82 (3): 433–446. doi : 10.1090/s0002-9904-1976-14035-9 .

Внешние ссылки

• Говард Джером Кейслер в проекте «Генеалогия математики»
• Домашняя страница Кейслера