卡琳·琳达·纳维 (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年，纳维在巴克内尔大学开始担任客座助理教授。在教学的同时，她还担任了其丈夫大卫·霍拉迪 (David Holladay) 创办的公司“Raised Dot Computing”的首席顾问。该公司专注于盲文翻译软件。1984年，她离开学术界，全职加入该公司。她为BRAILLE-EDIT的开发以及被广泛使用的MegaDots软件做出了巨大贡献，该软件为个人电脑提供了盲文翻译功能。
盲文标准化
1999年Raised Dot Computing的资产被杜克斯伯里系统公司 (Duxbury Systems) 收购后，纳维继续在辅助技术领域工作。她至今仍是北美盲文管理局 (Braille Authority of North America) 的活跃成员。在该组织内，她担任尼梅斯代码技术委员会 (Nemeth Code Technical Committee) 的顾问，利用她在用于数学符号的专业盲文系统方面的专业知识。
快速事实
- 出生：1953年，美国布鲁克林 - 本科学位：麻省理工学院 - 研究生学位：威斯康星大学麦迪逊分校 - 博士导师：玛丽·艾伦·鲁丁 - 学术任职：巴克内尔大学 - 关键软件：BRAILLE-EDIT, MegaDots - 专业会员：北美盲文管理局
读者常见问题
### 什么是尼梅斯代码 (Nemeth Code)？
这是一个专门为书写数学而设计的盲文系统，纳维在校期间学习过该系统。
### 纳维博士论文的重要性是什么？
它为集合论拓扑学领域的正规摩尔空间猜想提供了关键的反例。
