报告题目：染色游戏后面的数学，Sperner引理及其应用

报告人：吴国华

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

报告题目简介:考虑把一个给定的三角形T=ABC，对其三角化剖分，即把T剖分成许多小三角形，使得A，B，C居于不同的小三角形内，相邻的两个小三角形共一个边。 现在对这个图形上的点进行染色，A红B蓝C黄，AB边上的点只能染红色或蓝色，BC边上的为蓝色或黄色，CA边上的为黄色或红色，其余点可用三个颜色中的任意一个。 结论是其中必有一个小三角形三个顶点有三个染色。这个命题就是著名的Sperner引理(二维形式)。我们在报告里将给出这个引理的证明，以及该引理的推广和应用，其中包括用它来证明Brouwer不动点定理。

报告时间：2023年11月23日（星期四）下午 04:45

报告地点：瘦西湖校区01008N103

主办单位：教务处、数学科学学院

欢迎广大师生参加！