كارين نافي

أعادت كارين ليندا نافي (Caryn Linda Navy) اكتشاف صيغة إقليدس للأعداد المثالية الزوجية بشكل مستقل في سن الرابعة عشرة. وُلدت في بروكلين عام 1953، واتبعت مسيرة مهنية شملت طوبولوجيا المجموعات المتقدمة وتطوير برمجيات أساسية لترجمة لغة برايل. تسد مساهماتها الفجوة بين البحث الرياضي المجرد وابتكار أدوات حاسوبية يسهل الوصول إليها لمجتمع المكفوفين.

الأسس الأكاديمية

درست نافي في معهد ماساتشوستس للتكنولوجيا من عام 1971 إلى 1975، حيث تخصصت في الرياضيات. خلال هذا الوقت، قدمها مستشارها جيمس مونكريس (James Munkres) إلى علم الطوبولوجيا. بعد التخرج، حصلت على جائزة AMITA الأكاديمية العليا. واصلت دراساتها العليا في جامعة ويسكونسن-ماديسون، حيث حصلت على درجة الماجستير في عام 1977 ودرجة الدكتوراه في عام 1981 تحت إشراف عالمة الطوبولوجيا ماري إلين رودين (Mary Ellen Rudin).

المساهمات في الطوبولوجيا

ساهمت أطروحتها للدكتوراه، "Nonparacompactness in Para-Lindelöf Spaces" (عدم التراص المجاور في فضاءات بارا-ليندلوف)، في تطوير نظرية القياس بشكل كبير. صاغت نافي أمثلة مضادة للحدسية القائلة بأن جميع فضاءات بارا-ليندلوف هي فضاءات متراصة مجاورة. عملت هذه الفضاءات كأمثلة مضادة لحدسية فضاء مور الطبيعي. أشار ستيفن واتسون (Stephen Watson) إلى أن طريقة بناء نافي بدت نموذجية، مما وفر نهجًا تأسيسيًا سمح لويليام فليسنر (William Fleissner) لاحقًا بحل جوانب من حدسية فضاء مور الطبيعي.

تطوير البرمجيات

في عام 1981، بدأت نافي منصب أستاذ مساعد زائر في جامعة باكنل. وبالتزامن مع تدريسها، عملت كمستشارة رئيسية لشركة Raised Dot Computing، وهي شركة أسسها زوجها ديفيد هولاداي (David Holladay). ركزت الشركة على برمجيات ترجمة برايل. في عام 1984، تركت المجال الأكاديمي للانضمام إلى الشركة بدوام كامل. ساهمت بشكل كبير في تطوير برنامج BRAILLE-EDIT وبرنامج MegaDots المستخدم على نطاق واسع، والذي وفر ترجمة برايل لأجهزة الكمبيوتر الشخصية.

توحيد لغة برايل

بعد استحواذ شركة Duxbury Systems على أصول شركة Raised Dot Computing في عام 1999، واصلت نافي عملها في مجال التكنولوجيا المساعدة. ولا تزال عضوًا نشطًا في هيئة برايل لأمريكا الشمالية (Braille Authority of North America). ضمن هذه المنظمة، تعمل كمستشارة للجنة التقنية لكود نيميث (Nemeth Code)، مستفيدة من خبرتها في نظام برايل المتخصص المستخدم للتدوين الرياضي.

حقائق سريعة

- الميلاد: 1953، بروكلين، الولايات المتحدة - الشهادة الجامعية: معهد ماساتشوستس للتكنولوجيا - الشهادات العليا: جامعة ويسكونسن-ماديسون - مشرفة الدكتوراه: ماري إلين رودين - العمل الأكاديمي: جامعة باكنل - برمجيات رئيسية: BRAILLE-EDIT, MegaDots - العضوية المهنية: هيئة برايل لأمريكا الشمالية

أسئلة يطرحها القراء

### ما هو كود نيميث (Nemeth Code)؟

هو نظام برايل مصمم خصيصًا لكتابة الرياضيات، والذي تعلمته نافي خلال دراستها.

### ما أهمية أطروحة الدكتوراه الخاصة بنافي؟

قدمت أمثلة مضادة حاسمة لحدسية فضاء مور الطبيعي في مجال طوبولوجيا المجموعات.