Кэрин ВМС
Кэрин ВМС | |
---|---|
![]() | |
Рожденный | |
Национальность | Американский |
Супруг | Дэвид Холладей |
Академическое образование | |
Образование | Массачусетский технологический институт |
Альма-матер | Университет Висконсина-Мэдисона |
Диссертация | Непаракомпактность в паралинделёвских пространствах (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]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с д и Верхейден-Хиллард, Мэри Эллен (1988). Математик и ученый-компьютерщик, Caryn Navy . Американские женщины в науке. Институт акционерного капитала. ISBN 0-932469-12-4 .
- ↑ Перейти обратно: Перейти обратно: а б с д и «Биографии докладчиков саммита GAMA» . Национальный центр слепой молодежи в науке . Национальная федерация слепых . 14 апреля 2005 года . Проверено 6 апреля 2013 г.
- ^ Хоган, Кара (20 февраля 2009 г.). «Обучение на кончиках пальцев: организации с особыми потребностями предоставляют еврейское образование слепым детям» (PDF) . Еврейский адвокат . п. 2 . Проверено 9 февраля 2011 г.
- ^ «Академическая премия АМИТА» . Ассоциация выпускников MIT . Ассоциация выпускников MIT . Проверено 10 марта 2021 г.
- ^ Кэрин Л. Военно-морской флот в проекте «Математическая генеалогия»
- ↑ Перейти обратно: Перейти обратно: а б Уотсон, Стивен (1990). «Глава 4: Проблемы, которые я хотел бы решить» (PDF) . Ин Ван Милл, Ян; Рид, Джордж М. (ред.). Открытые проблемы топологии . Амстердам: Издательская компания Северной Голландии . стр. 52–53 . ISBN 0-444-88768-7 . Проверено 10 февраля 2011 г.
- ^ Фляйснер, Уильям Г. (1984). «Глава 16: Гипотеза нормального пространства Мура и большие кардиналы». Ин Кунен, Кеннет ; Воган, Джерри Э. (ред.). Справочник по теоретико-множественной топологии . Амстердам: Издательство Северной Голландии. стр. 750–759. ISBN 0-444-86580-2 .
- ↑ Перейти обратно: Перейти обратно: а б Кандела, Энтони Р. (сентябрь 2006 г.). «Легенды и пионеры вспомогательных технологий для слепоты, часть 2» . ДоступМир . 7 (5). Американский фонд помощи слепым . ISSN 1559-5781 . Проверено 17 февраля 2011 г.
- ↑ Перейти обратно: Перейти обратно: а б с «Хронология вспомогательных технологий» . Американский фонд помощи слепым . Архивировано из оригинала 25 мая 2011 года . Проверено 17 февраля 2011 г.
- ^ «История компании» . Системы Даксбери . Проверено 17 февраля 2011 г.
- ^ "Персонал" . Системы Даксбери . Проверено 26 января 2023 г.
- ^ «Текущий каталог BANA» . Управление Брайля Северной Америки . Проверено 26 июня 2023 г.
Внешние ссылки [ править ]
- Живые люди
- 1953 года рождения
- Американские математики XX века
- Слепые ученые и академики
- Преподаватели Университета Бакнелла
- Американские учёные-евреи
- Выпускники Школы наук Массачусетского технологического института
- Ученые из Бруклина
- Американские топологи
- Выпускники колледжа литературы и науки Университета Висконсина – Мэдисона
- Американские женщины-компьютерщики
- Американские женщины-математики XX века
- Математики из Нью-Йорка (штат)
- Американские ученые-компьютерщики
- Американские женщины-учёные XX века
- Американские евреи 21 века
- Американские женщины-учёные XXI века
- Американские ученые с ограниченными возможностями
- Американские слепые