Jump to content

Кэрин ВМС

Кэрин ВМС
Рожденный ( 1953-07-05 ) 5 июля 1953 г. (70 лет)
Национальность Американский
Супруг Дэвид Холладей
Академическое образование
Образование Массачусетский технологический институт
Альма-матер Университет Висконсина-Мэдисона
Диссертация Непаракомпактность в паралинделёвских пространствах (1981)
Докторантура Мэри Эллен Рудин
Академическая работа
Дисциплина Математика
Информатика
Субдисциплина Теоретико-множественная топология
Технология Брайля

Кэрин Линда Нэви (род. 5 июля 1953 г.) — американский математик и учёный-компьютерщик . Слепая с детства, она известна главным образом своими работами в области теоретико-множественной топологии и технологии Брайля .

Ранняя жизнь [ править ]

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

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

Образование [ править ]

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

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

Математика [ править ]

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

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

Карьера [ править ]

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

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

ВМС является членом Управления Брайля Северной Америки , где она работает консультантом Технического комитета по коду Немета. [12]

Ссылки [ править ]

  1. Перейти обратно: Перейти обратно: а б с д и Верхейден-Хиллард, Мэри Эллен (1988). Математик и ученый-компьютерщик, Caryn Navy . Американские женщины в науке. Институт акционерного капитала. ISBN  0-932469-12-4 .
  2. Перейти обратно: Перейти обратно: а б с д и «Биографии докладчиков саммита GAMA» . Национальный центр слепой молодежи в науке . Национальная федерация слепых . 14 апреля 2005 года . Проверено 6 апреля 2013 г.
  3. ^ Хоган, Кара (20 февраля 2009 г.). «Обучение на кончиках пальцев: организации с особыми потребностями предоставляют еврейское образование слепым детям» (PDF) . Еврейский адвокат . п. 2 . Проверено 9 февраля 2011 г.
  4. ^ «Академическая премия АМИТА» . Ассоциация выпускников MIT . Ассоциация выпускников MIT . Проверено 10 марта 2021 г.
  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» . ДоступМир . 7 (5). Американский фонд помощи слепым . ISSN   1559-5781 . Проверено 17 февраля 2011 г.
  9. Перейти обратно: Перейти обратно: а б с «Хронология вспомогательных технологий» . Американский фонд помощи слепым . Архивировано из оригинала 25 мая 2011 года . Проверено 17 февраля 2011 г.
  10. ^ «История компании» . Системы Даксбери . Проверено 17 февраля 2011 г.
  11. ^ "Персонал" . Системы Даксбери . Проверено 26 января 2023 г.
  12. ^ «Текущий каталог BANA» . Управление Брайля Северной Америки . Проверено 26 июня 2023 г.

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 05e4b947123513de663d2393bde7738a__1716730200
URL1:https://arc.ask3.ru/arc/aa/05/8a/05e4b947123513de663d2393bde7738a.html
Заголовок, (Title) документа по адресу, URL1:
Caryn Navy - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)