Кэрин Линда Нэви (Caryn Linda Navy) в возрасте 14 лет независимо переоткрыла формулу Евклида для четных совершенных чисел. Родившись в Бруклине в 1953 году, она построила карьеру, охватывающую как передовую теоретико-множественную топологию, так и разработку важнейшего программного обеспечения для перевода на шрифт Брайля. Её вклад служит связующим звеном между абстрактными математическими исследованиями и созданием доступных вычислительных инструментов для сообщества слепых.
Академический фундамент
Нэви посещала Массачусетский технологический институт с 1971 по 1975 год, где специализировалась на математике. В это время её научный руководитель Джеймс Манкрес (James Munkres) познакомил её с топологией. После окончания учебы она получила академическую награду AMITA Senior Academic Award. Она продолжила обучение в аспирантуре Висконсинского университета в Мадисоне, получив степень магистра в 1977 году и докторскую степень в 1981 году под руководством тополога Мэри Эллен Рудин (Mary Ellen Rudin).
Вклад в топологию
Ее докторская диссертация «Nonparacompactness in Para-Lindelöf Spaces» («Непаракомпактность в пара-линделёфовских пространствах») значительно продвинула теорию метризуемости. Нэви построила контрпримеры к гипотезе о том, что все пара-линделёфовские пространства являются паракомпактными. Эти пространства послужили контрпримерами к гипотезе о нормальном пространстве Мура. Стивен Уотсон (Stephen Watson) отметил, что метод построения Нэви выглядел каноническим, обеспечивая фундаментальный подход, который позволил Уильяму Флейсснеру (William Fleissner) позже разрешить аспекты гипотезы о нормальном пространстве Мура.
Разработка программного обеспечения
В 1981 году Нэви начала работать приглашенным доцентом в Бакнеллском университете. Параллельно с преподаванием она работала главным консультантом в компании Raised Dot Computing, основанной ее мужем Дэвидом Холладеем (David Holladay). Компания специализировалась на программном обеспечении для перевода на шрифт Брайля. В 1984 году она ушла из академической среды, чтобы работать в компании на полную ставку. Она внесла значительный вклад в разработку BRAILLE-EDIT и широко используемого программного обеспечения MegaDots, которое обеспечивало перевод на шрифт Брайля для персональных компьютеров.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Стандартизация шрифта Брайля
После приобретения активов Raised Dot Computing компанией Duxbury Systems в 1999 году Нэви продолжила свою работу в области вспомогательных технологий. Она остается активным членом Брайлевского управления Северной Америки (Braille Authority of North America). В этой организации она работает консультантом Технического комитета по коду Немета (Nemeth Code Technical Committee), используя свой опыт в специализированной системе Брайля, используемой для математических обозначений.
Краткие факты
- Родилась: 1953, Бруклин, США - Степень бакалавра: Массачусетский технологический институт - Ученые степени: Висконсинский университет в Мадисоне - Научный руководитель: Мэри Эллен Рудин - Академическая работа: Бакнеллский университет - Основное ПО: BRAILLE-EDIT, MegaDots - Профессиональное членство: Брайлевское управление Северной Америки
Вопросы читателей
### Что такое код Немета (Nemeth Code)?
Это система Брайля, специально разработанная для записи математических выражений, которую Нэви изучила во время учебы в школе.
### В чем заключалась значимость докторской диссертации Нэви?
Она предоставила критически важные контрпримеры к гипотезе о нормальном пространстве Мура в области теоретико-множественной топологии.
