会议通知-Basic-上海交通大学.doc

BASICS 2014 暨 Logic Summer School in China 2014 主题：时间：20年月– 2014年8月29日 地点： “BASICS 2014 Summer School”和“Logic Summer School in China 2014”将在上海交通大学联合举办，会议主题为递归论，会议时间为2014年月 BASICS Workshop and Summer School是BASICS实验室Laboratory for Basic Studies in Computing Science）主办的学术活动。从2000年已举办了届 这也是第一届逻辑学暑期学校。 本次会议为十位学生提供奖学金/）。 “BASICS 2014 Summer School”和“Logic Summer School in China 2014”的主要讲授内容为： 有穷损害方法。美国逻辑学家Post曾提出过一个重要的问题：是否存在一个难度严格介于停机问题和可判定问题之间的递归可枚举问题，即是否存在一个介于0和0’之间的r.e.图灵Friedberg和前苏联逻辑学家Muchnik独立解决。为了解决该问题，他们引入了有穷损害方法。后来该方法被广泛地应用于递归论中，并且被推广至无穷损害，0’’’方法，成为递归论的基本工具。 一般图灵Post问题被解决了，但仍然没有找到一个自然的介于0和0’之间的图灵度。后来Sacks、Martin、Lachlan等人形式化这一想法，试图从不同的角度解决这一问题。这些努力导致了后来的Martin猜想，Sacks猜想等。这些猜想使得描述集合论、递归论、大基数、内模型理论等看似完全不同的逻辑分支得以深刻地结合。通过Lachlan、Steel、 Slaman等人的工作，这一方向已取得重要进展。 算法随机性理论。算法随机性理论是由Chaitin、Kolmogorov、Levin、Martin-L?f等人创立的。这一领域是当前递归论最为热门的方向。递归论学家通过应用递归论的经典方法，解决了大量的长期悬而未决的算法随机性领域的公开问题。我们将对这一领域做初步的介绍。 预备知识：初步的数理逻辑知识，比如哥德尔不完备性定理及其证明。初等的递归论知识，包括图灵机，Church-Turing论题等。参考材料： “Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets”, Chapter VII, Robert I. Soare, Springer 1987. “Degrees of Unsolvability: Local and Global Theory”, Chapter II and IV, Manuel Lerman, Springer 1983. “Algorithmic Randomness and Complexity Series: Theory and Applications of Computability”, Chapter 3 and 6, Downey, Rodney G., Hirschfeldt, Denis R. Springer 2010. “Computability and Randomness”, Chapter 2 and 3, André Nies, Oxford Logic Guides 2009. 报名与报到知报到时间 20年月报到地点 上海市华山路1954号，上海交通大学徐汇校区，住 宿 注册费用 元（学生：00元） 住宿和交通费用自理，会议提供 汇款时请注明：BASICS2014+姓名 学 生 奖学金 数理逻辑专委会将赞助10名数学系的研究生/博士生参加“BASICS2014+逻辑学2014暑期学校”，为获得赞助的学生提供注册费、住宿费和路费。 申请方式：将申请信、学生证影印件用电子邮件发至basics@，导师的推荐信也发至同一地址。截至时间：2014年7月15日。 接收回执 截止日期 20年月日，逾期住房不能保证报到路线 浦东机场—乘坐出租车约10元；乘坐机场三号线(18元)到徐家汇站下车步行15分钟2号线—南京东路站下—换乘10号线—交通大学站下—4号出口往西走100米即可到交通大学2号门淮海西路125号 虹桥—①乘坐出租车约10号线—交通大学站下—4号口向西走100米即到交通大学2号门淮海西路125号 上海火车站—①乘坐出租车约30；地铁一号线徐家汇站下，从12号或13号出口出来后步行10分钟左右即到联系方式 BASICS2014 Logic Summer School in