2007年中科院数理逻辑暑期学校学习汇报

张凌浩、董恺、李晅松

一、概述

2007年5月10日至23日，我们受南京大学软件研究所派遣去中科院数学研究所，和来自新加坡国立大学、南洋理工大学、清华大学、中国科学院数学所等高校和研究机构的二十多位学生和老师一起参加了2007年数理逻辑暑期学校的培训。

本次培训的主要内容是集合论和递归论，主讲人分别是加利福尼亚大学伯克利分校的Woodin教授和Slaman教授，其中Woodin教授是美国艺术与科学院院士，集合论领域的专家，Slaman教授伯克利大学数学系主任，递归论领域的专家。此外，在这次暑期学校还安排了中科院的冯琦院士、新加坡国立大学的Yang Yue教授、南洋理工大学的Wu Guo Hua教授、南京大学数学系喻良老师等做了相关工作的报告。

二、学习主要内容(过多说不清)

三、学习情况小结

通过这次学习，我们有以下收获：

1． 加深了我们对于数理逻辑中集合论和递归论相关理论知识的认识，并且在Slaman教授的递归论报告中较多涉及到了作为计算机科学基础的可计算理论，对于这些知识的学习为将在软件所硕博连读继续研究工作的我们打下了重要的理论基础。

2． 本次暑期学校的主讲人Woodin和Slaman都是各自领域当之无愧的第一人，培训期间我们有机会近距离接触到这些大师，他们对于专业深刻的认识、对于治学严谨的态度为我们以后的科研工作树立了很好的榜样

3． 本次暑期学校中让我们认识了一些来自不同高校、科研机构进行数学研究的老师和同学，临别的时候我们向他们赠送了一些南京大学的纪念品，通过和他们的交流，我们的视野得到了开阔。

需要承认的是， 作为本次培训中仅有的本科生、仅有的非数学专业学生，由于我们知识准备尚有所欠缺，相关领域知识基础不够，培训中的部分难度较大的内容我们没有完全理解， 我们带回了课程中的笔记并在北京购买了相关的教材，准备在日常学习、工作之余进行进一步的复习和思考，相信通过后续的学习，这次数理逻辑暑期学校会带给我 们更大的收获！