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