Caryn Linda Navy, 14 yaşında Öklid'in çift mükemmel sayılar formülünü bağımsız olarak yeniden keşfetti. 1953 yılında Brooklyn'de doğan Navy, ileri küme teorik topolojiden temel Braille çeviri yazılımlarının geliştirilmesine uzanan bir kariyer izledi. Katkıları, soyut matematiksel araştırmalar ile görme engelliler topluluğu için erişilebilir hesaplama araçlarının yaratılması arasındaki boşluğu doldurmaktadır.
Akademik Temel
Navy, 1971'den 1975'e kadar Massachusetts Teknoloji Enstitüsü'nde (MIT) eğitim gördü ve burada matematik bölümünü bitirdi. Bu süre zarfında danışmanı James Munkres, onu topolojiyle tanıştırdı. Mezun olduktan sonra AMITA Kıdemli Akademik Ödülü'nü aldı. Lisansüstü eğitimine Wisconsin–Madison Üniversitesi'nde devam ederek 1977'de yüksek lisans, 1981'de ise topolog Mary Ellen Rudin'in danışmanlığında doktora derecesini aldı.
Topolojiye Katkılar
Doktora tezi olan "Nonparacompactness in Para-Lindelöf Spaces" (Para-Lindelöf Uzaylarında Parakompakt Olmama Durumu), metrizabilite teorisini önemli ölçüde ilerletti. Navy, tüm Para-Lindelöf uzaylarının parakompakt olduğu yönündeki varsayıma karşı karşı örnekler oluşturdu. Bu uzaylar, normal Moore uzayı varsayımına karşı örnekler olarak işlev gördü. Stephen Watson, Navy'nin inşa yönteminin kanonik göründüğünü ve William Fleissner'ın daha sonra normal Moore uzayı varsayımının bazı yönlerini çözmesini sağlayan temel bir yaklaşım sunduğunu belirtti.
Yazılım Geliştirme
1981'de Navy, Bucknell Üniversitesi'nde misafir yardımcı doçent olarak çalışmaya başladı. Öğretim faaliyetlerinin yanı sıra, eşi David Holladay tarafından kurulan Raised Dot Computing firmasında baş danışman olarak görev yaptı. Şirket, Braille çeviri yazılımlarına odaklanmıştı. 1984 yılında akademiyi bırakarak tam zamanlı olarak şirkete katıldı. BRAILLE-EDIT'in ve kişisel bilgisayarlar için Braille çevirisi sağlayan, yaygın olarak kullanılan MegaDots yazılımının geliştirilmesine önemli katkılarda bulundu.
Braille Standardizasyonu
1999 yılında Raised Dot Computing varlıklarının Duxbury Systems tarafından satın alınmasının ardından Navy, yardımcı teknoloji alanındaki çalışmalarına devam etti. Kuzey Amerika Braille Otoritesi'nin (Braille Authority of North America) aktif bir üyesi olmaya devam etmektedir. Bu organizasyon bünyesinde, matematiksel gösterimler için kullanılan özel Braille sistemi konusundaki uzmanlığından yararlanarak Nemeth Kodu Teknik Komitesi'ne danışmanlık yapmaktadır.
Kısa Bilgiler
- Doğum: 1953, Brooklyn, Amerika Birleşik Devletleri - Lisans Derecesi: Massachusetts Teknoloji Enstitüsü - Lisansüstü Dereceler: Wisconsin–Madison Üniversitesi - Doktora Danışmanı: Mary Ellen Rudin - Akademik İstihdam: Bucknell Üniversitesi - Önemli Yazılımlar: BRAILLE-EDIT, MegaDots - Profesyonel Üyelik: Kuzey Amerika Braille Otoritesi
Okuyucuların sorduğu sorular
### Nemeth Kodu nedir?
Navy'nin okul yıllarında öğrendiği, özellikle matematik yazmak için tasarlanmış bir Braille sistemidir.
### Navy'nin doktora tezinin önemi neydi?
Küme teorik topoloji alanında normal Moore uzayı varsayımı için kritik karşı örnekler sağladı.
