Caryn Linda Navy redescobriu independentemente a fórmula de Euclides para os números perfeitos pares aos 14 anos. Nascida no Brooklyn em 1953, seguiu uma carreira que abrangeu a topologia teórica dos conjuntos avançada e o desenvolvimento de software essencial de tradução em Braille. Suas contribuições fazem a ponte entre a pesquisa matemática abstrata e a criação de ferramentas computacionais acessíveis para a comunidade de cegos.
Fundamentos académicos
Navy frequentou o Instituto de Tecnologia de Massachusetts de 1971 a 1975, onde se formou em matemática. Durante esse período, o consultor James Munkres apresentou-a à topologia. Após a formatura, recebeu o prêmio acadêmico AMITA Senior Academic Award. Continuou seus estudos de pós-graduação na Universidade de Wisconsin–Madison, obtendo um mestrado em 1977 e um doutorado em 1981 sob a supervisão da topóloga Mary Ellen Rudin.
Contribuições para a topologia
Sua tese de doutorado, "Nonparacompactness in Para-Lindelöf Spaces", avançou significativamente a teoria da metrizabilidade. Navy construiu contra-exemplos para a conjectura de que todos os espaços para-Lindelöf são paracompactos. Esses espaços funcionaram como contra-exemplos para a conjectura do espaço normal de Moore. Stephen Watson observou que o método de construção de Navy parecia canônico, fornecendo uma abordagem fundamental que permitiu a William Fleissner resolver mais tarde aspectos da conjectura do espaço normal de Moore.
Desenvolvimento de software
Em 1981, Navy iniciou um cargo de professora assistente visitante na Universidade Bucknell. Simultaneamente ao seu ensino, atuou como consultora principal da Raised Dot Computing, uma empresa fundada por seu marido, David Holladay. A empresa focou-se em software de tradução em Braille. Em 1984, deixou a academia para ingressar na empresa em tempo integral. Contribuiu significativamente para o desenvolvimento do BRAILLE-EDIT e do software amplamente utilizado MegaDots, que fornecia tradução em Braille para computadores pessoais.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Padronização do Braille
Após a aquisição dos ativos da Raised Dot Computing pela Duxbury Systems em 1999, Navy continuou seu trabalho no campo da tecnologia assistiva. Ela permanece um membro ativo da Braille Authority of North America. Dentro desta organização, atua como consultora do Nemeth Code Technical Committee, aproveitando sua experiência no sistema Braille especializado usado para notação matemática.
Fatos rápidos
- Nascida: 1953, Brooklyn, Estados Unidos - Graduação: Instituto de Tecnologia de Massachusetts - Pós-graduação: Universidade de Wisconsin–Madison - Supervisora de doutorado: Mary Ellen Rudin - Emprego acadêmico: Universidade Bucknell - Software chave: BRAILLE-EDIT, MegaDots - Membro profissional: Braille Authority of North America
Perguntas dos leitores
### O que é o Código Nemeth?
É um sistema Braille projetado especificamente para escrever matemática, que Navy aprendeu durante sua escolaridade.
### Qual foi o significado da tese de doutorado de Navy?
Forneceu contra-exemplos críticos para a conjectura do espaço normal de Moore no campo da topologia teórica dos conjuntos.
