Говард Джером Кейслер - Howard Jerome Keisler

Говард Кейслер
Родился (1936-12-03) 3 декабря 1936 г. (возраст 83 года)
Сиэтл, Соединенные Штаты
ИзвестенНестандартный анализ
Научная карьера
ПоляМатематика
УчрежденияУниверситет Висконсин-Мэдисон
ДокторантАльфред Тарский
ДокторантыФредерик Роуботтом

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

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

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

Он также известен тем, что продлил Строительство Хенкина (из Леон Хенкин ) к тому, что сейчас называется Модели Хенкина – Кейслера.[1][2] Он также известен Порядок Рудина – Кейслера вместе с Мэри Эллен Рудин.

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

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

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

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

Публикации

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

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

использованная литература

  1. ^ Г. Уивер (2001) [1994], «Хенкин стройка», Энциклопедия математики, EMS Press
  2. ^ Джордж Уивер (1997). Модели Хенкина-Кейслера. Springer. ISBN  978-0-7923-4366-0.
  3. ^ Список членов Американского математического общества, получено 27 января 2013.
  4. ^ https://www.umb.edu/news/detail/keisler_first_umass_boston_prof_to_be_ named_distinguished_fulbright_chair
  5. ^ Маккай, М. (1976). "Обзор: Теория моделей Ч. К. Чанг и Х. Дж. Кейслер " (PDF). Бык. Амер. Математика. Soc. 82 (3): 433–446. Дои:10.1090 / с0002-9904-1976-14035-9.

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