Computability, Logic and Complexity

9602579这笔奖金将资助首席研究员、康奈尔大学数学系Richard Shore教授和两名初级研究员--圣母大学数学系Peter Cholak教授和芝加哥大学数学系Andre Nies教授--在三年内前往新西兰。在新西兰，他们将与维多利亚大学和奥克兰大学逻辑学小组的同事合作，特别是罗德尼·唐尼教授和奥克兰大学，包括最近在康奈尔大学担任助理教授后上任的巴克达尔·M·科萨伊诺夫博士。他们每个人都将研究递归理论中的一些主题，这些主题由一个共同的主题结合在一起，即研究计算如何与逻辑、数学和计算机科学的各个领域相互作用。大部分工作将通过将可计算性理论的方法(如优先级方法)和其他逻辑工具(如编码理论)应用于其他数学环境中的有效性问题的研究来完成。该项目结合了美国三个领先的逻辑研究小组的优势，以及惠灵顿维多利亚大学太平洋盆地逻辑研究的领先中心之一。

9602579 Shore This award will support the travel of the principal investigator, Professor Richard Shore, Department of Mathematics, Cornell University, and two junior investigators, Professor Peter Cholak, Department of Mathematics, University of Notre Dame, and Professor Andre Nies, Department of Mathematics, University of Chicago, to New Zealand over a three year-period. In New Zealand, they will work with colleagues in the logic groups at Victoria University, notably Professor Rodney Downey, and at Auckland University, including Dr. Bakhadyr M. Khoussainov who recently took up his position after serving as an Assistant Professor at Cornell University. They will each work on a number of topics in recursion theory united by a common theme of studying how computation interacts with various areas of logic, mathematics and computer science. Most of the work will be done by applying the methods of computability theory such as the priority method and other tools of logic such as the coding theories to the study of effectiveness issues in other mathematics settings. This project combines the strengths of three of the leading U.S. groups in logic with one of the leading centers of logic research in the Pacific Basin at Victoria University in Wellington.