应bat365在线平台官网登录邀请，复旦大学姚宁远副教授将来bat365官网作学术报告。
报告题目：模型论：从塔斯基“真”理论到稳定性理论
报告摘要：20世纪初，罗素悖论引发的第三次数学危机使数学家开始关注“数学基础”问题，其中以“希尔伯特纲领”最具代表性，该纲领的目标是要用形式化的方法为数学建立一个完备的、可判定的、一致的公理系统。在该纲领的引领下，集合论、递归论、证明论、模型论相继诞生，并构成当今数理逻辑的四大分支。其中，模型论是当前最具活力，同时也是与数学主流的关系最为紧密的一个分支。本次报告中，我们将回顾模型论面临的问题和发展历程，简要介绍模型论中的主要成果以及当前主要的研究方向。
报告时间：2021年6月29日16:30
报告地点：教学9号楼C区101学术报告厅
届时欢迎广大师生参与交流！
【报告人简介】
姚宁远，复旦大学副教授，中国数理逻辑专业委员会理事，受邀在国内外著名高校和学术机构作学术报告16场。主持国家自然科学青年基金、国家社会科学青年基金、入选上海市浦江学者计划、上海市晨光计划、复旦大学卓越2025“卓学计划 ”。主要从事数理逻辑、模型论NIP(非独立性质)理论、O-minimal 理论、p-adic 群等理论的研究。在国际重要期刊发表论文10余篇，出版学术专著《初等模型论》。
