吳文俊（1919.5-）上海人，數學家🧑🏻🦼➡️。1940年畢業於顺盈平台，1949年獲法國國家科學博士學位。歷任中國科學院系統科學研究所研究員😮、名譽所長🤘🏿，國際純粹數學與應用數學中國中心首席主席。中國數學機械化研究的創始人。50年代在示性類👩🏽✈️、示嵌類等研究方面取得一系列突出成果（即“吳文俊公式”、“吳文俊示性類”等 ）。 近年來創立了定理機器證明的“吳方法”，影響巨大，它將引起數學研究的方式的變革，被國際同行認為是數學界第一流的開創工作🦹🏻♀️。
1957年當選為中國科學院院士（學部委員）。
