Computability, Logic and Complexity

可计算性、逻辑性和复杂性

• 批准号: 9602579
• 负责人: Richard Shore
• 金额: $ 2.76万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-04-01 至 2002-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9602579&HistoricalAwards=false
• 关键词: Computability; Logic; Complexity

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.

9602579海岸该奖项将支持康奈尔大学数学系理查德·肖尔（Richard Shore）教授，康奈尔大学（Cornell University）数学系教授，以及两名初级研究员，巴黎圣母院数学系彼得·乔拉克（Peter Cholak）教授和安德烈·尼斯（Andre Nies）教授安德烈·尼斯（Andre Nies）教授，芝加哥大学，在三年期间到新西兰。 在新西兰，他们将与维多利亚大学逻辑小组的同事，尤其是罗德尼·唐尼（Rodney Downey）教授和奥克兰大学（Ouckland University）的同事合作，包括巴卡迪（Bakhadyr M. 他们每个人都将通过研究计算方式与逻辑，数学和计算机科学的各个领域相互作用的共同主题结合的递归理论的许多主题。 大多数工作将通过应用计算理论的方法（例如优先级方法和其他逻辑工具）（例如编码理论）来完成其他数学设置中的有效性问题。 该项目结合了美国三个领先的逻辑团体的优势与惠灵顿维多利亚大学太平洋盆地的逻辑研究中心之一。