Caryn Linda Navy entdeckte im Alter von 14 Jahren unabhängig Euklids Formel für gerade vollkommene Zahlen wieder. Sie wurde 1953 in Brooklyn geboren und verfolgte eine Karriere, die sich über die fortgeschrittene mengentheoretische Topologie bis hin zur Entwicklung grundlegender Software für die Braille-Übersetzung erstreckte. Ihre Beiträge schlagen eine Brücke zwischen abstrakter mathematischer Forschung und der Schaffung zugänglicher Computerwerkzeuge für die Gemeinschaft blinder Menschen.
Akademische Grundlagen
Navy besuchte von 1971 bis 1975 das Massachusetts Institute of Technology, wo sie Mathematik studierte. Während dieser Zeit führte ihr Betreuer James Munkres sie in die Topologie ein. Nach ihrem Abschluss erhielt sie den AMITA Senior Academic Award. Sie setzte ihr Studium an der University of Wisconsin–Madison fort und erwarb 1977 einen Master und 1981 einen Doktortitel unter der Leitung der Topologin Mary Ellen Rudin.
Beiträge zur Topologie
Ihre Doktorarbeit, „Nonparacompactness in Para-Lindelöf Spaces“, brachte die Metrisierbarkeitstheorie maßgeblich voran. Navy konstruierte Gegenbeispiele zu der Vermutung, dass alle Para-Lindelöf-Räume parakompakt seien. Diese Räume fungierten als Gegenbeispiele zur Vermutung über normale Moore-Räume. Stephen Watson stellte fest, dass Navys Konstruktionsmethode kanonisch erschien und einen grundlegenden Ansatz bot, der es William Fleissner ermöglichte, später Aspekte der Vermutung über normale Moore-Räume zu lösen.
Softwareentwicklung
1981 begann Navy eine Gastdozentur an der Bucknell University. Parallel zu ihrer Lehrtätigkeit fungierte sie als leitende Beraterin für Raised Dot Computing, ein von ihrem Ehemann David Holladay gegründetes Unternehmen. Das Unternehmen konzentrierte sich auf Software zur Braille-Übersetzung. 1984 verließ sie die akademische Welt, um in Vollzeit für das Unternehmen zu arbeiten. Sie leistete bedeutende Beiträge zur Entwicklung von BRAILLE-EDIT und der weit verbreiteten Software MegaDots, die Braille-Übersetzungen für PCs ermöglichte.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Braille-Standardisierung
Nach der Übernahme der Vermögenswerte von Raised Dot Computing durch Duxbury Systems im Jahr 1999 setzte Navy ihre Arbeit im Bereich der assistiven Technologien fort. Sie ist weiterhin aktives Mitglied der Braille Authority of North America. Innerhalb dieser Organisation fungiert sie als Beraterin für das Nemeth Code Technical Committee und bringt dort ihre Expertise für das spezialisierte Braille-System zur mathematischen Notation ein.
Kurze Fakten
- Geboren: 1953, Brooklyn, Vereinigte Staaten - Bachelor-Abschluss: Massachusetts Institute of Technology - Höhere Abschlüsse: University of Wisconsin–Madison - Doktorvater: Mary Ellen Rudin - Akademische Tätigkeit: Bucknell University - Wichtige Software: BRAILLE-EDIT, MegaDots - Professionelle Mitgliedschaft: Braille Authority of North America
Fragen von Lesern
### Was ist der Nemeth-Code?
Es ist ein Braille-System, das speziell für das Schreiben von Mathematik entwickelt wurde und das Navy während ihrer Schulzeit erlernte.
### Welche Bedeutung hatte Navys Doktorarbeit?
Sie lieferte kritische Gegenbeispiele zur Vermutung über normale Moore-Räume auf dem Gebiet der mengentheoretischen Topologie.
