吳文俊，1919年出生，男，中科院數學與系統科學研究院，中國科學院院士，世界著名數學家。獲得國家第一屆自然科學獎一等獎、首屆國家最高科學技術獎、全國科學大會獎、第三世界科學院數學獎、自動推理的最高獎Herbrand獎等榮譽。