吴允曾

吴允曾，数理逻辑学家和计算机科学家。籍贯浙江省杭州市仁和县，1918年4月4日出生于当地，1987年5月21日上午11时50分因心肌梗塞在北京大学蔚秀园寓所逝世。1940年秋就读于北京燕京大学哲学系，1941年末因战争辍学，直到抗战胜利后才在就复学并毕业。1951年至1952年在燕京大学哲学系任助教，1952年至1979年先后在北京大学哲学系、数学系和计算机专业任助教和讲师，1979年起任北京大学计算机科学技术系教授，之后一起任教于该系。