Caryn Navy

Caryn Linda Navy (nacida el 5 de julio de 1953) es una matemática e informática estadounidense . Ciega desde la infancia, es conocida principalmente por su trabajo en topología de conjuntos y tecnología Braille .

Navy nació en Brooklyn , Nueva York, en 1953. Nació prematuramente y fue diagnosticada con ceguera total debido a retinopatía del prematuro . Su familia pronto descubrió que en realidad podía ver por el rabillo del ojo, pero a los 10 años perdió la vista por completo debido a un desprendimiento de retina . ^{[ 1 ]}

Al año siguiente, en sexto grado, Navy comenzó a aprender a leer y escribir Braille en la escuela. También aprendió el sistema Braille Nemeth para escribir matemáticas , ^{[ 2 ]} que se convirtió en su materia favorita. Disfrutaba de las competencias matemáticas en equipo y, a los 14 años, redescubrió de forma independiente la fórmula de Euclides para los números perfectos pares . ^{[ 1 ]} También aprendió Braille hebreo en preparación para su ceremonia de bat mitzvá . ^{[ 3 ]} A los 16 años, Navy fue contratada para su primer trabajo como transcriptora de dictáfono en la ciudad de Nueva York . Tomó una clase para aprender a viajar en el metro de la ciudad de Nueva York . ^{[ 1 ]}

Navy asistió al Instituto Tecnológico de Massachusetts (MIT) de 1971 a 1975, especializándose en matemáticas. El único libro de texto que tenía en Braille era su libro de cálculo. Todos sus demás libros los obtuvo como audiolibros de Recording for the Blind . En el MIT, su asesor de pregrado, James Munkres, la introdujo al tema de la topología . Al graduarse con una licenciatura en matemáticas en 1975, ^{[ 2 ]} recibió el Premio Académico Superior AMITA de la Asociación de Exalumnas del MIT. ^{[ 4 ]} Al principio de su carrera universitaria, Navy conoció a David Holladay , un estudiante de ingeniería eléctrica . Él buscó suficiente Braille como para escribirle una nota después de su primer encuentro. Se casaron después de graduarse. ^{[ 1 ]}

Navy cursó estudios de posgrado en la Universidad de Wisconsin-Madison , especializándose en matemáticas y con una subespecialización en informática . Durante su formación de posgrado, utilizó un dispositivo Optacon para leer libros de texto que no estaban disponibles en Braille ni como audiolibros. ^{[ 1 ]} Obtuvo su maestría en 1977 ^{[ 2 ]} y su doctorado en 1981 bajo la supervisión de la topóloga Mary Ellen Rudin . ^{[ 5 ]}

La tesis doctoral de Navy, "No paracompacidad en espacios para-Lindelöf", fue importante en el desarrollo de la teoría de la metrizabilidad . El artículo examina las propiedades de los espacios topológicos para-Lindelöf , que son una generalización tanto de los espacios Lindelöf como de los espacios paracompactos . En un espacio para-Lindelöf, cada recubrimiento abierto tiene un refinamiento abierto localmente numerable , es decir, uno tal que cada punto del espacio tiene un entorno que interseca solo una cantidad numerable de elementos del refinamiento. Los espacios construidos por Navy son contraejemplos a la conjetura de que todos los espacios para-Lindelöf son paracompactos. Algunos de sus espacios son incluso espacios de Moore normales bajo supuestos adecuados de teoría de conjuntos. Dado que todo espacio metrizable es paracompacto, estos son contraejemplos a la conjetura del espacio de Moore normal .

Stephen Watson calificó la construcción de Navy como "bastante general, lo que permitía bastante libertad" y dijo: "No se conoce otra forma de obtener para-Lindelöf. No creo que sea posible otra forma de obtener para-Lindelöf; el método de Navy me parece bastante canónico ". ^{[ 6 ]} En 1983, William Fleissner modificó uno de sus espacios para que fuera un espacio de Moore normal bajo el supuesto de una propiedad de recubrimiento particular . Los ejemplos de Fleissner finalmente resolvieron la conjetura del espacio de Moore normal al demostrar que requiere axiomas cardinales grandes . ^{[ 6 ] [ 7 ]}

Después de terminar sus estudios de posgrado, Navy aceptó un puesto como profesora asistente visitante en el departamento de matemáticas de la Universidad de Bucknell en 1981. ^{[ 2 ]} Mientras vivían en Lewisburg, Pensilvania , Holladay fundó una empresa de software llamada Raised Dot Computing, centrada en la tecnología Braille para computadoras. Se inspiró en la necesidad de Navy de contar con traducción Braille para ayudarla en su enseñanza de matemáticas. ^{[ 8 ]} Ella fue una consultora importante para la empresa, ayudando con ideas de software y probando productos en su trabajo universitario. En diciembre de 1981, Raised Dot Computing lanzó su primer producto importante, BRAILLE-EDIT, un procesador de textos y programa traductor Braille bidireccional para Apple II . ^{[ 9 ]} Navy dejó la universidad en 1984 para trabajar en la empresa, ^{[ 2 ]} y la pareja y la empresa regresaron a Madison, Wisconsin en julio de 1984. ^{[ 9 ]}

Navy aplicó sus habilidades informáticas para mejorar el software de asistencia de Raised Dot Computing, creando versiones mejoradas de BRAILLE-EDIT y programas de utilidad para manejar Braille en formato de libro de texto y otros formatos especiales. En 1985 añadieron una línea de software para MS-DOS , culminando en el producto más exitoso de la compañía, MegaDots. Lanzado en agosto de 1992 y mantenido hasta 2016, MegaDots proporcionaba traducción de Braille y procesamiento de texto para PC. Raised Dot Computing fue transferida en septiembre de 1998 a una organización sin fines de lucro de Wisconsin llamada Braille Planet, ^{[ 9 ]} que luego fue adquirida en agosto de 1999 por Duxbury Systems . ^{[ 10 ]} Navy y Holladay viven en Westford, Massachusetts , ^{[ 8 ]} y aún trabajan en Duxbury. ^{[ 11 ]}

Navy es miembro de la Autoridad Braille de América del Norte , donde se desempeña como consultora del Comité Técnico del Código Nemeth. ^{[ 12 ]}

• Historia oral de David Holladay y Caryn Navy