קארין לינדה נייבי (Caryn Linda Navy) גילתה מחדש באופן עצמאי את הנוסחה של אוקלידס למספרים משוכללים זוגיים בגיל 14. היא נולדה בברוקלין ב-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, שסיפקה שירותי תרגום לברייל עבור מחשבים אישיים.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →תקינת ברייל
בעקבות רכישת נכסי חברת Raised Dot Computing על ידי חברת Duxbury Systems בשנת 1999, המשיכה נייבי בעבודתה בתחום הטכנולוגיה המסייעת. היא נותרה חברה פעילה ברשות הברייל של צפון אמריקה. במסגרת ארגון זה, היא משמשת כיועצת לוועדה הטכנית לקוד נמט' (Nemeth Code), תוך שימוש במומחיותה במערכת הברייל המיוחדת המשמשת לסימון מתמטי.
עובדות מהירות
- לידה: 1953, ברוקלין, ארצות הברית - תואר ראשון: המכון הטכנולוגי של מסצ'וסטס - תארים מתקדמים: אוניברסיטת ויסקונסין–מדיסון - מנחה לדוקטורט: מרי אלן רודין - תעסוקה אקדמית: אוניברסיטת באקנל - תוכנות מרכזיות: BRAILLE-EDIT, MegaDots - חברות מקצועית: רשות הברייל של צפון אמריקה
שאלות נפוצות של קוראים
### מהו קוד נמט'?
זוהי מערכת ברייל שתוכננה במיוחד לכתיבת מתמטיקה, אותה למדה נייבי במהלך לימודיה.
### מהי חשיבות עבודת הדוקטורט של נייבי?
היא סיפקה דוגמאות נגדיות קריטיות להשערת מרחב מור הנורמלי בתחום הטופולוגיה של תורת הקבוצות.