Кэрол Карп , урожденная Кэрол Рут Вандер Велде (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
- ^ а б в г О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Кэрол Карп" , архив истории математики MacTutor , Университет Сент-Эндрюс.
- ^ a b c d e "Кэрол Карп", Биографии женщин-математиков , Колледж Агнес Скотт
- ↑ Кэрол Карп в проекте « Математическая генеалогия»
- ^ Engeler, E., "Обзор языков с выражениями бесконечной длины ", Mathematical Reviews , MR 0176910
- ^ «Ассоциация символических логических премий и наград» . Архивировано из оригинала на 2015-08-28 . Проверено 31 июля 2008 . CS1 maint: обескураженный параметр ( ссылка )
- Эта статья включает материал Кэрол Карп о PlanetMath , который находится под лицензией Creative Commons Attribution / Share-Alike License .