Caryn Linda Navy a redécouvert indépendamment la formule d'Euclide pour les nombres parfaits pairs à l'âge de 14 ans. Née à Brooklyn en 1953, elle a poursuivi une carrière qui a englobé la topologie ensembliste avancée et le développement de logiciels essentiels de traduction en braille. Ses contributions comblent le fossé entre la recherche mathématique abstraite et la création d'outils informatiques accessibles pour la communauté des non-voyants.
Fondations académiques
Navy a fréquenté le Massachusetts Institute of Technology de 1971 à 1975, où elle s'est spécialisée en mathématiques. Durant cette période, son conseiller James Munkres l'a initiée à la topologie. Après l'obtention de son diplôme, elle a reçu le prix académique AMITA Senior Academic Award. Elle a poursuivi ses études supérieures à l'Université du Wisconsin-Madison, obtenant une maîtrise en 1977 et un doctorat en 1981 sous la supervision de la topologue Mary Ellen Rudin.
Contributions à la topologie
Sa thèse de doctorat, « Nonparacompactness in Para-Lindelöf Spaces », a fait progresser de manière significative la théorie de la métrisabilité. Navy a construit des contre-exemples à la conjecture selon laquelle tous les espaces para-Lindelöf sont paracompacts. Ces espaces ont servi de contre-exemples à la conjecture de l'espace normal de Moore. Stephen Watson a noté que la méthode de construction de Navy semblait canonique, fournissant une approche fondamentale qui a permis à William Fleissner de résoudre ultérieurement des aspects de la conjecture de l'espace normal de Moore.
Développement de logiciels
En 1981, Navy a commencé un poste de professeure assistante invitée à l'Université Bucknell. Parallèlement à son enseignement, elle a travaillé comme consultante principale pour Raised Dot Computing, une entreprise fondée par son mari, David Holladay. L'entreprise se concentrait sur les logiciels de traduction braille. En 1984, elle a quitté le monde universitaire pour rejoindre l'entreprise à plein temps. Elle a contribué de manière significative au développement de BRAILLE-EDIT et du logiciel largement utilisé MegaDots, qui fournissait une traduction braille pour les ordinateurs personnels.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Standardisation du braille
Suite à l'acquisition des actifs de Raised Dot Computing par Duxbury Systems en 1999, Navy a poursuivi son travail dans le domaine des technologies d'assistance. Elle demeure un membre actif de la Braille Authority of North America. Au sein de cette organisation, elle sert de consultante auprès du Nemeth Code Technical Committee, mettant à profit son expertise dans le système braille spécialisé utilisé pour la notation mathématique.
Faits marquants
- Née : 1953, Brooklyn, États-Unis - Diplôme de premier cycle : Massachusetts Institute of Technology - Diplômes d'études supérieures : Université du Wisconsin-Madison - Directrice de thèse : Mary Ellen Rudin - Emploi universitaire : Université Bucknell - Logiciels clés : BRAILLE-EDIT, MegaDots - Membre professionnel : Braille Authority of North America
Questions posées par les lecteurs
### Qu'est-ce que le code Nemeth ?
Il s'agit d'un système braille spécifiquement conçu pour l'écriture des mathématiques, que Navy a appris au cours de sa scolarité.
### Quelle était l'importance de la thèse de doctorat de Navy ?
Elle a fourni des contre-exemples critiques à la conjecture de l'espace normal de Moore dans le domaine de la topologie ensembliste.
