吴文俊（1919.5.12－2017.5.7）著名数学家、中国共产党优秀党员、中国科学院院士。吴文俊对数学的主要领域——拓扑学做出了重大贡献、开创了崭新的数学机械化领域，在代数拓扑学、数学机械化、中国数学史等方面有深刻研究与开创性贡献。在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，创立了定理机器证明的“吴方法”，引起数学研究方式的变革。获得首届国家最高科技奖、首届国家自然科学一等奖、有东方诺贝尔奖之称的邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖。