报告题目：欧几里得第五公设与非欧几何

报告摘要：在欧几里得公理中，第五公设讲的是过直线外一点有且只有一条直线和它平行。其直接推论是每个三角形的内角和是180度。这是我们中学里的不能再基本的常识。很长一段时间里，大家都希望第五公设是其它四个公设的推论，并致力于寻找可能的证明。罗巴切夫斯基提出了双曲几何公理系统，也就是把“过直线外一点至少有两条直线和给定直线平行”替换欧几里得的第五公设，并证明了它的协调性。报告里，我们将介绍罗巴切夫斯基几何，球面几何，以及第五公设的独立性。我们还将介绍苏斯林线以及它的独立性。

报告人：吴国华，南洋理工大学教授。吴国华教授本科、硕士均毕业于扬州师范学院数学系, 博士毕业于新西兰惠灵顿维多利亚大学，师从Downey教授，主要从事数理逻辑、可计算性理论研究及逻辑在数学中的应用。2003年获新西兰皇家学院年度Hatherton奖（唯一华人获奖者），2005年加入新加坡南洋理工大学工作，至今主持新加坡教育部国家自然科学基金4项，参与中国国家自然科学基金重点项目、国际交流合作项目多项。已在JML，APAL，JSL，MLQ等数理逻辑方向TOP期刊上发表SCI论文60多篇。

报告时间：2023年2月28日（星期二）下午14:00

报告地点：扬州大学瘦西湖校区8号楼N303

主办单位：扬州大学数学科学学院

欢迎广大师生参加！