概述
约翰·凯梅尼（John G. Kemeny，1926年5月31日－1992年12月26日）是匈牙利裔美国数学家、计算机科学家和教育家，以其与托马斯·库尔茨共同发明BASIC编程语言而闻名。他曾担任达特茅斯学院校长，并在数学、逻辑学及计算机教育领域做出重要贡献。
1 早年生活与教育
1.1 家庭背景与移民经历
约翰·乔治·凯梅尼出生于匈牙利布达佩斯的一个犹太家庭。父亲是一位银行家，母亲从事家庭管理。1938年，随着欧洲局势日益紧张，凯梅尼一家为躲避纳粹迫害而移民美国。这段颠沛流离的经历使他从小便学会了适应新环境，也培养了他对教育公平的坚定信念——他后来常说自己因“幸运地逃到了自由世界”而深感责任。
1.2 高中与早期学术兴趣
抵达美国后，凯梅尼进入纽约市的一所公立高中学习。他展现出惊人的数学天赋，尤其在数理逻辑和抽象推理方面。高中期间，他自学了微积分和集合论，并开始阅读罗素与怀特海合著的《数学原理》。老师曾评价他“思考问题像一台精密机器，但从不缺乏想象力”。他还对拉丁语和文学产生了兴趣，这为他后来清晰的学术写作奠定了基础。
1.3 普林斯顿大学求学与博士研究
1943年，凯梅尼以优异成绩考入普林斯顿大学。由于战争需要，他提前完成本科课程，并于1946年获得数学学士学位。随后他留校攻读研究生，在著名逻辑学家阿隆佐·丘奇的指导下研究数理逻辑。1949年，他以论文《逻辑与数学基础中的类型论》获得博士学位。期间，他还辅修了哲学和物理学，这使他后来能够跨学科地思考问题。
2 学术生涯与早期贡献
2.1 普林斯顿高等研究院与爱因斯坦合作
1949年至1951年，凯梅尼在普林斯顿高等研究院担任助理研究员，成为阿尔伯特·爱因斯坦的研究助手之一。他协助爱因斯坦整理统一场论的计算工作，并参与讨论数学基础问题。这段经历让他深刻体会到“科学不仅是公式，更是直觉与美学的结合”。凯梅尼后来在回忆录中幽默地写道：“爱因斯坦最喜欢的消遣，是检查我算错的积分——而他每次都赢。”
2.2 达特茅斯学院数学系教职
1951年，凯梅尼加入达特茅斯学院数学系，担任副教授。他很快成为系里最受欢迎的教师之一，因其授课生动、善于将抽象概念转化为通俗例子而著称。他引入了“问题导向”的教学方法，鼓励学生通过编程实践来理解数学理论。1953年，他晋升为正教授，并开始参与学院课程改革。
2.3 数理逻辑与概率论研究
在达特茅斯早期，凯梅尼在数理逻辑领域持续产出成果，发表多篇关于类型论和可计算性的论文。同时，他将兴趣拓展到概率论，尤其是马尔可夫链和随机过程。他与J. L. Snell合著的《有限马尔可夫链》成为该领域的经典教材。他还在决策理论中提出“凯梅尼公理系统”，为后来的贝叶斯决策理论提供了框架。他的研究风格以清晰、严谨著称，同事常说他“把逻辑变得像诗歌一样优雅”。
3 与托马斯·库尔茨共同发明BASIC
3.1 达特茅斯分时系统（DTSS）背景
1960年代初，计算机教育面临巨大障碍：当时主流的批处理系统需要用户提交穿孔纸带，等待数小时甚至数天才能得到结果。凯梅尼和同事托马斯·库尔茨认为，计算机应像图书一样随时可供学生使用。他们着手开发达特茅斯分时系统（DTSS），允许用户通过终端同时与主机交互。这一系统耗资巨大，但得到了国防部高级研究计划局（ARPA）的资金支持。
3.2 BASIC语言的设计理念
设计DTSS时，凯梅尼和库尔茨发现没有一种编程语言既简单易学又足够强大。于是他们决定“自己动手”。BASIC（Beginner's All-purpose Symbolic Instruction Code）的设计宗旨是：让非计算机专业的学生也能在几分钟内写出可运行的程序。他们刻意限制语言规模——只保留必要的指令如PRINT、INPUT，并采用解释型执行（无需编译）。凯梅尼曾说：“我们想要的是语言像英语一样亲民，而不是像梵文一样神秘。”
3.3 首次成功运行与早期版本
1964年5月1日凌晨，在达特茅斯学院的一间机房内，凯梅尼和库尔茨敲下了第一行BASIC代码：PRINT "HELLO, WORLD"——虽然这个梗后来才流行，但当时屏幕上的输出确实令在场的人欢呼。早期BASIC仅有14条语句，包括LET、GOTO、IF...THEN等，运行在DTSS上。随后他们发布了BASIC-1、BASIC-2等迭代版本，加入了数组和子程序支持。有趣的是，他们故意限制了行号必须递增（如10,20,30），以防止初学者写出过于混乱的跳转逻辑。
3.4 对计算机教育普及化的影响
BASIC迅速传播到其他大学，甚至微型计算机（如Altair 8800）上。它成为第一代个人电脑用户学习的语言，直接催生了比尔·盖茨和保罗·艾伦在MITS Altair上开发BASIC解释器的故事。凯梅尼认为，BASIC的贡献不在于技术本身，而在于它“解除了计算机对精英主义的垄断”。到1980年代，全球已有数百万人通过学习BASIC踏入编程大门。批评者指责BASIC语法过于简单、容易培养坏习惯，凯梅尼则回应：“训练一个孩子走路不需要先教他芭蕾舞。”
4 达特茅斯学院校长时期（1970–1981）
4.1 校园改革与招生政策调整
1970年，凯梅尼出任达特茅斯学院校长，成为该校首位非神学背景的校长。他推行了一系列激进改革：废除强制早祷、引入共同治理（学生、教师、行政三权制衡）、建立种族和性别平等的招生政策。他主导了对女性学生的全面招收——达特茅斯在1972年正式成为男女同校。这一决策引发了不少校友不满，但凯梅尼坚持“教育不应分性别，就像科学不应分国籍”。
4.2 推动计算机纳入通识教育
作为校长，凯梅尼将计算机素养提升到与读写算同等重要的地位。他推动达特茅斯所有本科生——无论文理——都必须修一门计算机课程。他还建立了“计算机咨询中心”，配备专职人员帮助教师将编程融入各学科。他甚至在就职演说中放话：“未来的文盲不是不会读书的人，而是不会编程的人。” 这句话后来被无数人引用，虽然凯梅尼本人承认 “有点夸张，但意思没错。”
4.3 学术管理与争议事件
凯梅尼在校长任内也面临争议。1970年代美国校园动荡时期，他因处理学生抗议活动时的强硬立场而遭到批评——他曾拒绝学生关于“解放学术课程”的要求，认为 “大学不是政治实验室”。此外，他对越南战争保持沉默的态度也让部分教师不满。但支持者认为，他成功地平衡了学术自由与社会稳定，并使达特茅斯在财政危机中维持了教育质量。
5 晚年生活与遗产
5.1 退休后的研究与写作
1981年卸任校长后，凯梅尼回到数学系继续教学和研究。他撰写了多部科普和学术著作，包括《计算机科学的数学基础》和《人与机器：计算机的未来》。他还积极推广“面向所有人的计算机”理念，撰写教材《BASIC程序设计教程》，累计销量超过百万册。1986年，他参与创立了“国家计算机科学教育协会”，继续推动K-12阶段的编程教育。
5.2 荣誉与奖项
凯梅尼一生获得众多荣誉：1985年与库尔茨共同获得美国计算机协会（ACM）颁发的“计算机教育杰出贡献奖”；1989年入选美国国家发明家名人堂；1990年被授予总统科学奖章。他还拥有十多所大学的荣誉博士学位。他最自豪的奖项是“达特茅斯学院校友奖”，因为 “这说明学生们还记得我教过他们什么”。
5.3 在计算机史与教育史中的地位
凯梅尼被视为“计算机民主化运动”的先驱之一。他发明的BASIC让编程从实验室走向了中小学课堂，直接影响了后续Python、Ruby等“易学语言”的设计思路。他领导的达特茅斯分时系统项目更是云计算的前身。在计算机教育史上，他被描述为“第一位真正理解‘计算机普及’意味着什么的教育家”。2014年，BASIC被IEEE评为“计算机时代最重要的十项发明之一”，凯梅尼的名字与图灵、冯·诺依曼并列在纪念石碑上。
6 个人生活与逸闻
6.1 婚姻与家庭
凯梅尼于1957年与琼·怀特（Joan White）结婚，两人育有两个女儿。琼是一名社会学教授，她经常调侃丈夫：“他即使在吃饭时也在思考数学，然后用叉子在空中比划变量。” 家庭生活温馨而忙碌，凯梅尼坚持每周留出一天完全陪伴家人，不碰电脑和论文。
6.2 业余爱好与性格特点
凯梅尼是一名狂热的国际象棋爱好者，曾获得新罕布什尔州业余比赛冠军。他还喜欢演奏钢琴，尤其偏爱巴赫的赋格曲——他说这两件事都需要“严密的逻辑与意外的灵感”。同事们记得他有一种“古怪的幽默感”：在一次教职会议中，当有人提出“如何防止学生抄袭程序”时，他举起一叠纸说：“只要让他们写足够长的注释，抄袭者会露馅的——因为没人有耐心抄注释。” 他性格温和、远离政治争斗，但在原则问题上从不让步——比如他曾拒绝接受一家烟草公司的捐赠，理由是“我的学生不需要用肺癌来交换奖学金”。
1992年12月26日，约翰·凯梅尼因心脏病发作在新罕布什尔州亨诺佛的家中去世，享年66岁。他的墓碑上刻着简洁的一句话：“他让计算机说人话。”