Caryn Linda Navy ha riscoperto indipendentemente la formula di Euclide per i numeri perfetti pari all'età di 14 anni. Nata a Brooklyn nel 1953, ha intrapreso una carriera che ha spaziato dalla topologia insiemistica avanzata allo sviluppo di software essenziali per la traduzione in Braille. I suoi contributi colmano il divario tra la ricerca matematica astratta e la creazione di strumenti informatici accessibili per la comunità dei non vedenti.
Fondamenti accademici
Navy ha frequentato il Massachusetts Institute of Technology dal 1971 al 1975, dove si è laureata in matematica. Durante questo periodo, il suo consulente James Munkres l'ha introdotta alla topologia. Dopo la laurea, ha ricevuto l'AMITA Senior Academic Award. Ha proseguito gli studi post-laurea presso l'Università del Wisconsin-Madison, conseguendo un master nel 1977 e un dottorato di ricerca nel 1981 sotto la supervisione della topologa Mary Ellen Rudin.
Contributi alla topologia
La sua tesi di dottorato, "Nonparacompactness in Para-Lindelöf Spaces", ha fatto progredire significativamente la teoria della metrizzabilità. Navy ha costruito controesempi alla congettura secondo cui tutti gli spazi para-Lindelöf sono paracompatte. Questi spazi hanno funzionato come controesempi alla congettura dello spazio normale di Moore. Stephen Watson ha osservato che il metodo di costruzione di Navy sembrava canonico, fornendo un approccio fondamentale che ha permesso a William Fleissner di risolvere in seguito aspetti della congettura dello spazio normale di Moore.
Sviluppo di software
Nel 1981, Navy ha iniziato un incarico come professoressa assistente ospite presso la Bucknell University. Parallelamente all'insegnamento, ha lavorato come consulente principale per Raised Dot Computing, un'azienda fondata dal marito, David Holladay. L'azienda si concentrava su software per la traduzione in Braille. Nel 1984, ha lasciato il mondo accademico per unirsi all'azienda a tempo pieno. Ha contribuito in modo significativo allo sviluppo di BRAILLE-EDIT e del software ampiamente utilizzato MegaDots, che forniva la traduzione in Braille per i personal computer.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Standardizzazione del Braille
In seguito all'acquisizione delle risorse di Raised Dot Computing da parte di Duxbury Systems nel 1999, Navy ha continuato il suo lavoro nel campo della tecnologia assistiva. Rimane un membro attivo della Braille Authority of North America. All'interno di questa organizzazione, funge da consulente per il Nemeth Code Technical Committee, sfruttando la sua esperienza nel sistema Braille specializzato utilizzato per la notazione matematica.
Fatti rapidi
- Nata: 1953, Brooklyn, Stati Uniti - Laurea di primo livello: Massachusetts Institute of Technology - Titoli post-laurea: Università del Wisconsin-Madison - Supervisore di dottorato: Mary Ellen Rudin - Impiego accademico: Bucknell University - Software chiave: BRAILLE-EDIT, MegaDots - Affiliazione professionale: Braille Authority of North America
Domande poste dai lettori
### Cos'è il Codice Nemeth?
È un sistema Braille progettato specificamente per scrivere la matematica, che Navy ha imparato durante i suoi studi.
### Qual è stato il significato della tesi di dottorato di Navy?
Ha fornito controesempi critici alla congettura dello spazio normale di Moore nel campo della topologia insiemistica.
