哲晖统计讲坛（第12期）：肖红叶
2024年10月17日
报告题目：算法实现思维推理的底层逻辑探索
报 告 人：肖红叶
报告时间： 2024年10月21日（周一）10:30-12:00
报告地点：肖红叶
主办单位：统计学院
【内容摘要】
近年自然语言大模型、生成式AI等算法涌现，表明人类“数字思维与数字认知”能力大爆发。2023年2月，中共中央、国务院印发《数字中国建设整体布局规划》，提出增强领导干部和公务员数字思维、数字认知、数字技能的具体要求。本报告力图通过给出算法实现思维推理的底层逻辑，服务于数字思维的培养提升。主要内容包括，算法概念，数字思维表达，计算替代推理，谓词逻辑与数学普适化，希尔伯特可计算判定问题，邱奇-图灵论题及其物理形式假设，算法的图灵机理论基础等。
【报告人简介】
肖红叶，国家教学名师，国务院政府特殊津贴专家，天津财经大学教授，河南大学特聘教授，博士研究生导师。主要研究方向：经济统计、数据技术应用。现任国家社科基金评审专家组成员、国家统计局教材编审委员会副主任委员。曾任国务院学位委员会应用经济学、统计学学科评议组成员，中国统计学会副会长，中国统计教育学会副会长，教育部经济学教学指导委员会委员等社会学术职务。曾获国家教学成果一等奖、二等奖，教育部人文社科成果二等奖，国家统计局科研、天津市社科成果一等奖等奖励。2011年入选中国杰出人文社会科学家，2022和2023年入选年度中国高贡献学者。
撰稿：肖潇 审核：徐强 单位：统计学院
