吴文俊，1919年出生，男，中科院数学与系统科学研究院，中国科学院院士，世界著名数学家。获得国家第一届自然科学奖一等奖、首届国家最高科学技术奖、全国科学大会奖、第三世界科学院数学奖、自动推理的最高奖Herbrand奖等荣誉。