吴允曾
吴允曾（1918年4月4日-1987年5月21日），男，浙江省杭州市仁和县人，数理逻辑学家和计算机科学家，毕业于北京燕京大学。1987年因心肌梗死在北京大学蔚秀园寓所逝世。
生平概况
1940年秋就读于北京燕京大学哲学系，1941年末因战争辍学，直到抗战胜利后才在就复学并毕业。1951年至1952年在燕京大学哲学系任助教，1952年至1979年先后在北京大学哲学系、数学系和计算机专业任助教和讲师，1979年起任北京大学计算机科学技术系教授，之后一起任教于该系。
其上辈原出陈氏，其尊人入赘吴家，遂从吴姓。他早年父母先后去世，也无兄弟姐妹和其他表亲，由祖父带大。其祖父是清末民初著名学者吴昌绶（字印臣，一字伯宛），清末举人，不于当时八股文、试帖诗的藩篱，学识渊博，以其词作蜚声于世，曾担任詹天佑的总文案。吴允曾随他成长，在爱国思想上，在开明的政治态度上，以及在中国古典学术素养上，于早年就深受熏陶和教益。后来在燕京大学，在爱祖国、爱真理、不断追求进步的人生态度上又受到翁独健的影响与教益。他一生中在个人生活问题上屡遭波折，终身未婚。求学时疲于奔走生计，基本处于半工半读状态，先后曾做家馆教师、出版校对、图书馆员等工作。他的世交长辈、著名教育家和目录学家傅增湘和他的中学、大学同学李欧（清华大学教授，数学家）在生活上、工作上和学习上都给予了帮助。
学术贡献
吴允曾除在北京大学任教外，还曾先后受聘担任中国科学院技术科学部计算机学组成员、国家自然科学基金会评审委员、中国计算机学会计算机科学理论专业学组名誉组长、中国离散数学学会顾问、北京电脑天地学校校长等职。
在少年时代（中学时），受孙著声（号翼郑）的培育，以及的傅增湘指导，与薛成业、王会庵、康奉等一起共同完成了《全蜀两宋文钞》等书的校勘出版工作。在逻辑学与哲学的研讨方面，他受到金岳霖、张东荪两位教授的指导。
在晚年（一生中最后约十年），在我国大力推行改革开放方针的情况下，按照客观形势与有关工作的迫切需求，他不顾高龄病体，为了促进我国与国际计算机界的学术交流和科技合作，不仅忙于在辆接待外国学者的工作，还不时万里迢迢，连年奔波国外，做出了富有成果的努力。他多次应邀出国讲学及参加重要的国际学术会议和一些有关的国际学术活动。如1985年参加了在瑞士举行的计算机科学与逻辑国际工作会议，1986年参加了在德国举行的国际第四届数据类型的形式说明工作会议等等。他曾应邀访问过美国的洛克菲勒大学（并受聘为该校的逻辑研究室顾问）、康奈尔大学、斯坦福大学、卡耐基·梅隆大学、纽约大学、密歇根大学、马里兰大学和古朗研究所，联邦德国的慕尼黑大学、慕尼黑科技大学、不来梅大学、帕骚大学，丹麦的科技大学、阿胡斯大学、林畔计算技术研究所，以及在瑞士苏黎世的联邦高级工学院等许多大学、研究所和技术公司。通过交流，结交了不少海外卓有成就的专家，如美籍华裔著名学者、洛克菲勒大学的王浩教授，斯坦福大学的John McCarthy、Jon Barwise、John Perry、Suppes、Zohar Manna、Joseph Goguen等教授，纽约大学的Martin Davis和J.T.Schwartz教授，卡耐基·梅隆大学的D.Scott和Scherlis教授，马里兰大学的华裔学者朱耀汉教授、叶祖尧教授，曼彻斯特大学的Cliff Jones教授，布里斯托尔大学的Michael Rogers教授，德国慕尼黑大学数学系主任、逻辑学家Schwichtenberg教授，慕尼黑科技大学计算机研究所的F.L.Bauer教授，不来梅大学的Krieg-Bruckner教授，瑞士苏黎世高工的E. Engeler和Specker教授，世界计算机大会前主席、丹麦技术大学的比约纳教授，瑞典的Martin-Lof教授。
吴允曾的治学成就主要在于数理逻辑与计算机科学相结合的领域，但不全局限于此领域。他的知识是渊博的，多方面的。他所写的不少旧诗词，既见家学渊源，也展示了其自身的学力与才华。多年纷至沓来的不幸遭遇引起他种种感触，所作情见乎词，自然朴实，而又苍郁深切，不同于凡响。如他早年（约1940年晚秋）在燕园写的一首《南歌子》：“寂寞梧桐子，萧疏燕市秋。一缄将寄又还休，自分此生长是怅离愁。旧事从头忆，韶华去不留。前尘影事泛心头，又是三更斜月下西楼。”又一首《浣溪沙》（约1941年春）：“天际晴云杂雨云，楼台倒影入湖明，晚钟犹是一声声。”隔岸柳丝经雨绿，满池春水共愁生，倚栏无语又黄昏。”还有一首可能是1942年或1943年秋所作的七律：“岭表难传寸书，闽江新月夜潮时。谈玄剪烛成追忆，旧学商量渺故知。凄绝三更帘外雨，伤心一阕绮怀词。凯歌久盼知何日，契阔重逢慰梦思。”
1987年6月3日下午在北京西郊八宝山革命公墓大礼堂，他的领导、师友、学生及各界人士参加了其追悼仪式。燕京大学校友会送的挽联是：“燕园常切磋，为国哭君，忠毕生多坎坷；学林仰模楷，殚诚敬业，盛名交口播中西”。他的一些朋友和学生送的挽联是“深研数理逻辑，潜心软件钩玄，为国增辉，先生易悲何既；矢志中华腾飞，献身科学教育事业，鞠躬尽，绍志光前待后人”。两联均由燕京大学校友、中国社会科学杂志副总编辑、书法家丁磐石书写。比约纳教授为吴允曾教授去世写了纪念词，“吴教授认识到哲学和数理逻辑是形成计算机科学的基础，他具有卓识而且有力地提倡语言学作为信息学中内在成分的重要性，即计算机科学与语言学、思维科学和组织科学间的良好结合。”比约纳教授还特别指出他在丹麦的讲学“是中国赠送给丹麦的真挚礼物。”