Кэрол Карп
Кэрол Карп , урожденная Кэрол Рут Вандер Вельде (10 августа 1926 года в Форест-Гроув , округ Оттава, штат Мичиган — 20 августа 1972 года в Мэриленде ), была американским математиком голландского происхождения, наиболее известной своими работами по бесконечной логике . Она также играла на альте в женском оркестре. [1] [2] [3]
Жизнь
[ редактировать ]Кэрол родилась в Мичигане в семье менеджера фермерского магазина и домохозяйки. Кэрол, ее братья и сестры окончили среднюю школу в Огайо . После этого она окончила Манчестерский университет, штат Индиана , и вернулась в Мичиган, чтобы учиться в Мичиганском государственном университете (тогда называвшемся Мичиганским государственным колледжем), где в 1950 году получила степень магистра. [2] [3]
В 1951 году она вышла замуж за Артура Карпа и взяла его фамилию. Она продолжила учебу в аспирантуре по математике, путешествуя по Калифорнии и Японии со своим мужем, который работал в ВМС США. [2] [3] Она защитила докторскую диссертацию. в 1959 году в Университете Южной Калифорнии под руководством Леона Хенкина . Ее диссертация по формальной теории языка и бесконечной логике называлась «Языки с выражениями бесконечной длины» ; [4] Позже она опубликовала его как книгу с тем же названием (North – Holland Publishing, 1964). [5]
Еще до получения докторской степени Карп в 1958 году заняла должность преподавателя в Университете Мэриленда в Колледж-Парке , где всего через семь лет она получила звание профессора и стала «лидером в разработке теории бесконечной логики». [3] В 1969 году у нее диагностировали рак груди , но она оставалась активной до своей смерти три года спустя. [2] [3]
Наследие
[ редактировать ]премия Карпа Ассоциации символической логики В ее честь названа . Денежная премия была учреждена в 1973 году и вручается каждые пять лет за «связанный комплекс исследований, большая часть которых была завершена за время, прошедшее с момента присуждения предыдущей премии». [6]
Ссылки
[ редактировать ]- ^ Джуди Грин. «Кэрол Карп» в книге «Женщины-математики: библиографический справочник» Л. Гринштейн, П. Кэмпбелл, изд. Нью-Йорк: Greenwood Press (1987): 86–91
- ^ Jump up to: а б с д О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Кэрол Карп» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Jump up to: а б с д и «Кэрол Карп», Биографии женщин-математиков , Колледж Агнес Скотт
- ^ Кэрол Карп в проекте «Математическая генеалогия»
- ^ Энгелер Э., «Обзор языков с выражениями бесконечной длины », Mathematical Reviews , MR 0176910.
- ^ «Ассоциация премий и наград по символической логике» . Архивировано из оригинала 28 августа 2015 г. Проверено 31 июля 2008 г.
- В эту статью включены материалы Кэрол Карп из PlanetMath , которые доступны под лицензией Creative Commons Attribution/Share-Alike License .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
