Кэрол Карп - Carol Karp

Кэрол Карп, родившийся Кэрол Рут Вандер Велде (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]

Рекомендации

  1. ^ Джуди Грин. «Кэрол Карп» в Женщины-математики: библиографический справочник Л. Гринштейн, П. Кэмпбелл, изд. Нью-Йорк: Greenwood Press (1987): 86 - 91
  2. ^ а б c d О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Кэрол Карп", Архив истории математики MacTutor, Сент-Эндрюсский университет.
  3. ^ а б c d е "Кэрол Карп", биографии женщин-математиков, Колледж Агнес Скотт
  4. ^ Кэрол Карп на Проект "Математическая генеалогия"
  5. ^ Энгелер, Э. "Обзор Языки с выражениями бесконечной длины", Математические обзоры, МИСТЕР  0176910
  6. ^ «Ассоциация призов и наград символической логики». Архивировано из оригинал на 2015-08-28. Получено 2008-07-31.
  • В этой статье использованы материалы Кэрол Карп о PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.