Caryn Navy - Caryn Navy

Кэрин Линда ВМС (родился 5 июля 1953 г.) - американец математик и специалист в области информатики. Слепой с детства она известна в основном своей работой в теоретико-множественная топология и Технология Брайля.

Ранние годы

Военно-морской флот родился в Бруклин, Нью-Йорк в 1953 г. Родился преждевременный, ей поставили диагноз "полная слепота" из ретинопатия недоношенных. Вскоре ее семья обнаружила, что она действительно может видеть уголком глаза, но в 10 лет она потеряла зрение из-за отслойка сетчатки.[1]

В следующем году в шестом классе ВМС начали учиться читать и писать. Шрифт Брайля в школе. Она также узнала Немет Брайля система для письма математика,[2] который стал ее любимым предметом. Ей нравились командные соревнования по математике, и в 14 лет она заново открыла для себя Евклид формула даже идеальные числа.[1] Она также узнала Еврейский шрифт Брайля готовясь к ней бат-мицва оказание услуг.[3] В 16 лет ВМС была нанята на свою первую работу в качестве Диктофон машинистка в Нью-Йорк. Она пошла в класс, чтобы научиться путешествовать по Метро Нью-Йорка.[1]

Образование

Военно-морской флот принял участие в Массачусетский Институт Технологий 1971–1975 гг. По специальности математик. Единственным учебником, который у нее был на шрифте Брайля, была книга по математике. Все остальные ее книги были получены как аудиокниги из Запись для слепых В Массачусетском технологическом институте ее научный консультант. Джеймс Мункрес познакомил ее с предметом топология. После ее окончания со степенью бакалавра математики в 1975 г.[2] она получила премию AMITA Senior Academic Award от Ассоциации выпускников Массачусетского технологического института.[4] В начале своей студенческой карьеры ВМС познакомилась с Дэвидом Холладей, электротехника студент. Он посмотрел достаточно шрифтом Брайля, чтобы написать ей записку после их первой встречи. Они поженились после выпуска.[1]

ВМС учились в аспирантуре Университет Висконсина-Мэдисона, по специальности математика, с дополнительной Информатика. Во время обучения в аспирантуре она использовала Optacon устройство для чтения учебников, которых не было в виде аудиокниг и шрифтов Брайля.[1] Она получила ее М.А. в 1977 г.[2] и ее доктор философии. в 1981 г. под наблюдением тополога Мэри Эллен Рудин.[5]

Математика

Докторская диссертация ВМФ "Непара-компактность в пара-линделёфских пространствах" сыграла важную роль в разработке теория метризуемости. В статье исследуются свойства пара-Линделёфа. топологические пространства, которые являются обобщением обоих Пространства Линделёфа и паракомпактные пространства. В пара-линделёфском пространстве каждое открытая крышка имеет локально счетный открытый уточнение, то есть такой, что каждая точка пространства имеет район что пересекается только счетно много элементы доработки. Пространства, построенные ВМФ, контрпримеры к гипотезе о том, что все пара-линделёфские пространства паракомпактны. Некоторые из ее пространств даже нормальный Пространства Мура при подходящих теоретико-множественных предположениях. Поскольку любое метризуемое пространство паракомпактно, это контрпримеры к гипотеза нормального пространства Мура.

Стивен Уотсон назвал конструкцию ВМС «довольно общей, допускающей довольно большую свободу действий» и сказал: «Других способов получения пара-Линделёфа не известно. метод выглядит вполне канонический мне."[6] В 1983 г. Уильям Флейсснер изменила одно из своих пространств, сделав его нормальным пространством Мура, при условии, что покрытие собственности. Примеры Флейсснера окончательно разрешили гипотезу о нормальном пространстве Мура, показав, что она требует большие кардинальные аксиомы.[6][7]

Карьера

После аспирантуры ВМС устроились в гости. доцент на математическом факультете Бакнеллский университет в 1981 г.[2] Пока они жили в Льюисбург, Пенсильвания Холладей основал компанию по разработке программного обеспечения Raised Dot Computing, специализирующуюся на компьютерных технологиях Брайля. Его вдохновила потребность ВМС в переводе шрифтом Брайля, чтобы помочь ей в обучении математике.[8] Она была важным консультантом компании, помогая с идеями программного обеспечения и тестируя продукты в ее университетской работе. В декабре 1981 года компания Raised Dot Computing выпустила свой первый крупный продукт BRAILLE-EDIT. текстовый редактор и двусторонний Переводчик Брайля программа для Яблоко II.[9] Флот покинул университет в 1984 году, чтобы работать в компании.[2] и пара и компания вернулись в Мэдисон, Висконсин в июле 1984 г.[9]

Флот применила свои компьютерные навыки для улучшения вспомогательного программного обеспечения Raised Dot Computing, создав улучшенные версии BRAILLE-EDIT и служебные программы для работы с шрифтом Брайля в учебном формате и других специальных форматов. В 1985 году они добавили линейку MS-DOS программное обеспечение, кульминацией которого стал самый успешный продукт компании MegaDots. Выпущенная в августе 1992 года и все еще производимая, MegaDots обеспечивает перевод шрифта Брайля и текстовый редактор для ПК. Raised Dot Computing была переведена в сентябре 1998 г. в штат Висконсин. некоммерческая организация называется "Планета Брайля"[9] который затем был выкуплен в августе 1999 г. Duxbury Systems.[10] Флот и Холладей живут в Вестфорд, Массачусетс,[8] и они все еще работают над MegaDots в Даксбери.[11]

Военно-морской флот является членом Управление Брайля Северной Америки, где она возглавляла Обновляемый шрифт Брайля Технический комитет[12] с 2004 года.[2]

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

  1. ^ а б c d е Верхейден-Хиллиард, Мэри Эллен (1988). Математик и компьютерный ученый, Caryn Navy. Американские женщины в науке. Институт справедливости. ISBN  0-932469-12-4.
  2. ^ а б c d е ж «Биографии ведущих саммита GAMA». Национальный центр слепой молодежи в науке. Национальная федерация слепых. 14 апреля 2005 г.. Получено 6 апреля, 2013.
  3. ^ Хоган, Кара (20 февраля 2009 г.). «Обучение кончиками пальцев: организации с особыми потребностями предоставляют еврейское образование слепым детям» (PDF). Еврейский адвокат. п. 2. Получено 9 февраля, 2011.
  4. ^ «Студенческие награды AMITA». Ассоциация выпускников Массачусетского технологического института. Ассоциация выпускников MIT. Получено 17 февраля, 2011.
  5. ^ Кэрин Л. ВМС на Проект "Математическая генеалогия"
  6. ^ а б Уотсон, Стивен (1990). «Глава 4: Проблемы, которые я хотел бы решить». Ин ван Милл, Ян; Рид, Джордж М. (ред.). Открытые проблемы в топологии (PDF). Амстердам: Издательская компания Северной Голландии. стр.52–53. ISBN  0-444-88768-7. Получено 10 февраля, 2011.
  7. ^ Флейсснер, Уильям Г. (1984). «Глава 16: Гипотеза нормального пространства Мура и большие кардиналы». В Кунен, Кеннет; Воан, Джерри Э. (ред.). Справочник по теоретико-множественной топологии. Амстердам: Издательская компания Северной Голландии. С. 750–759. ISBN  0-444-86580-2.
  8. ^ а б Кандела, Энтони Р. (сентябрь 2006 г.). "Легенды и пионеры технологий помощи при слепоте, часть 2". AccessWorld. Американский фонд для слепых. 7 (5). ISSN  1559-5781. Получено 17 февраля, 2011.
  9. ^ а б c «Хронология вспомогательных технологий». Американский фонд для слепых. Архивировано из оригинал 25 мая 2011 г.. Получено 17 февраля, 2011.
  10. ^ "История компании". Duxbury Systems. Получено 17 февраля, 2011.
  11. ^ "Штат сотрудников". Duxbury Systems. Получено 17 февраля, 2011.
  12. ^ "Справочник БАНА". Управление Брайля Северной Америки. Получено 26 декабря, 2010.

внешняя ссылка