Caryn Navy - Caryn Navy
Caryn Navy | |
---|---|
Nascer |
|
5 de julho de 1953
Nacionalidade | americano |
Cônjuge (s) | David Holladay |
Formação acadêmica | |
Educação | Instituto de Tecnologia de Massachusetts |
Alma mater | Universidade de Wisconsin-Madison |
Tese | Nonparacompactness in Para-Lindelöf Spaces (1981) |
Orientador de doutorado | Mary Ellen Rudin |
Trabalho acadêmico | |
Disciplina |
Matemática Ciência da Computação |
Subdisciplina |
Topologia teórica de conjuntos Tecnologia Braille |
Caryn Linda Navy (nascida em 5 de julho de 1953) é uma matemática e cientista da computação americana . Cega desde a infância, ela é conhecida principalmente por seus trabalhos em topologia teórica de conjuntos e tecnologia Braille .
Vida pregressa
Navy nasceu no Brooklyn , Nova York, em 1953. Nascida prematura , ela foi diagnosticada como totalmente cega por retinopatia da prematuridade . Sua família logo descobriu que ela podia realmente ver com o canto de um olho, mas aos 10 anos ela perdeu a visão devido ao descolamento de retina .
No ano seguinte, na sexta série, a Marinha começou a aprender a ler e escrever Braille na escola. Ela também aprendeu o sistema Nemeth Braille para escrever matemática , que se tornou sua matéria favorita. Ela gostava de competições de matemática em equipe e, aos 14 anos, redescobriu de forma independente a fórmula de Euclides para números perfeitos . Ela também aprendeu hebraico Braille como preparação para o serviço de bat mitzvah . Aos 16 anos, Navy foi contratada para seu primeiro emprego, como digitadora de ditafone na cidade de Nova York . Ela fez um curso para aprender a viajar no metrô de Nova York .
Educação
A Marinha frequentou o Instituto de Tecnologia de Massachusetts de 1971 a 1975, com especialização em matemática. O único livro que ela tinha em Braille era seu livro de cálculo. Todos os seus outros livros foram obtidos como audiolivros da Recording for the Blind . No MIT, seu orientador de graduação James Munkres a apresentou ao assunto da topologia . Após sua graduação em matemática em 1975, ela recebeu o AMITA Senior Academic Award da Association of MIT Alumnae. No início de sua carreira de graduação, Navy conheceu David Holladay, um estudante de engenharia elétrica . Ele pesquisou Braille o suficiente para escrever um bilhete para ela após o primeiro encontro. Eles se casaram após a formatura.
A Marinha fez pós-graduação na Universidade de Wisconsin-Madison , com especialização em matemática, com especialização em ciência da computação . Durante sua pós-graduação, ela usou um dispositivo Optacon para ler livros que não estavam disponíveis em Braille ou como audiolivros. Ela recebeu seu MA em 1977 e seu Ph.D. em 1981 sob a supervisão da topologista Mary Ellen Rudin .
Matemática
A tese de doutorado da Marinha, "Nonparacompactness in Para-Lindelöf Spaces", foi importante no desenvolvimento da teoria da metrizabilidade . O artigo examina as propriedades dos espaços topológicos para-Lindelöf , que são uma generalização dos espaços de Lindelöf e dos espaços para - compactos . Em um espaço para-Lindelöf, cada tampa aberta tem um refinamento aberto contável localmente , ou seja, um tal que cada ponto do espaço tem uma vizinhança que cruza apenas contáveis elementos do refinamento. Os espaços construídos pela Marinha são contraexemplos à conjectura de que todos os espaços para-Lindelöf são paracompactos. Alguns de seus espaços são até mesmo espaços normais de Moore sob suposições teóricas de conjuntos adequadas. Uma vez que todo espaço metrizável é paracompacto, esses são exemplos contrários à conjectura normal do espaço de Moore .
Stephen Watson chamou a construção da Marinha de "uma construção bastante geral que permitia bastante latitude" e disse: "Nenhuma outra maneira de obter para-Lindelöf é conhecida. Não acho que outra maneira de obter para-Lindelöf seja possível - a Marinha método parece bastante canônico para mim. " Em 1983, William Fleissner modificou um de seus espaços para ser um espaço normal de Moore sob a suposição de uma propriedade de cobertura particular . Os exemplos de Fleissner finalmente resolveram a conjectura espacial normal de Moore, mostrando que ela requer grandes axiomas cardinais .
Carreira
Após a graduação, a Marinha assumiu o cargo de professora assistente visitante no departamento de matemática da Bucknell University em 1981. Enquanto morava em Lewisburg, Pensilvânia , Holladay fundou uma empresa de software chamada Raised Dot Computing, voltada para a tecnologia de Braille de computador. Ele foi inspirado pela necessidade da Marinha de traduzir o Braille para ajudá-la no ensino de matemática. Ela foi uma importante consultora para a empresa, ajudando com ideias de software e testando produtos em seu trabalho na universidade. Em dezembro de 1981, a Raised Dot Computing lançou seu primeiro grande produto, BRAILLE-EDIT, um processador de texto e um programa tradutor de Braille bidirecional para o Apple II . Navy deixou a universidade em 1984 para trabalhar para a empresa, e o casal e a empresa voltaram para Madison, Wisconsin, em julho de 1984.
A Marinha aplicou suas habilidades de computação para melhorar o software auxiliar da Raised Dot Computing, produzindo versões aprimoradas do BRAILLE-EDIT e programas utilitários para lidar com Braille em formato de livro e outros formatos especiais. Em 1985, eles adicionaram uma linha de software MS-DOS , culminando no produto de maior sucesso da empresa, o MegaDots. Lançado em agosto de 1992 e ainda em produção, o MegaDots fornece tradução e processamento de texto em Braille para PC. A Raised Dot Computing foi transferida em setembro de 1998 para uma organização sem fins lucrativos de Wisconsin chamada Braille Planet, que foi comprada em agosto de 1999 pela Duxbury Systems . Navy e Holladay moram em Westford, Massachusetts , e ainda trabalham em MegaDots em Duxbury.
A Marinha é membro da Autoridade de Braille da América do Norte , onde preside o Comitê Técnico de Braille Refreshable desde 2004.