纪念吴文俊先生诞生100周年活动丨吴方法及其应用

为纪念我国人工智能的开拓者和领军人吴文俊先生，中国人工智能学会在2019年初始发起举办“纪念吴文俊先生诞生100周年”系列活动。该系列活动由中国人工智能学会主办，多方科研院所高校承办、协办。旨在介绍人工智能等相关前沿科学的现状和发展趋势，探讨各领域对人工智能发展的科学意义和应用价值。吴文俊院士是我国人工智能研究的开拓者和领军人，系中国人工智能学会第四届和第五届理事会指导委员会名誉主席。他早年提出的机器定理证明方法在国际上被称尊为“吴方法”；随后提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。吴文俊院士，1919年5月12日生于上海。 著名数学家，资深院士，我国智能科学研究的开拓 ………………………………