Workshop in Recursion Theory and Complexity Theory to be held in Kazan, Russia in July, 1997

递归理论和复杂性理论研讨会将于1997年7月在俄罗斯喀山举行

• 批准号: 9707156
• 负责人: Steffen Lempp
• 金额: $ 1.55万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-03-15 至 1998-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9707156&HistoricalAwards=false
• 关键词: Workshop; Recursion; Theory; Complexity; held

ABSTRACT: The proposal is to support travel by U. S. scientists to a one-week workshop in computability theory to be held in Kazan, Russia, in July 1997, to be organized by Profs. Marat Arslanov (Kazan State University) and Sergei Goncharov (Russian Academy of Sciences, Novosibirsk Branch) as well as Steffen Lempp (University of Wisconsin-Madison) and Robert Soare (University of Chicago). The proposed workshop (to be held jointly and at the same location as a workshop in complexity theory, organized by Profs. Razborov and Ablayev) is the first meeting of its kind, designed to allow close contact between approximately thirty Russian and thirty scientists from the U. S. and other Western countries. Computability theory, the study of unsolvable problems in mathematics, is a well-established branch of mathematical logic, and is particularly strongly represented in the United States and Russia. For obvious political reasons, interaction between the two countries in this area has been quite limited in the past. Research interests have also developed in somewhat different directions within the field; e. g., the emphasis in Russia is on applications of computability theory to algebra, whereas in the United States, classical computability theory is more dominant. On the other hand, close connections between the various directions obviously exist, as is evidenced by the small amount of cooperative research already taking place. While the political barriers have by now mostly disappeared, severe financial difficulties have proven to be almost as great an obstacle to mutual cooperation in the field. It thus appears that the only way to organize a meeting including a large number of Russians is to organize one within Russia, cutting travel expenses for Russian participants and counting on the non-Russian participants to be able to raise travel funds more easily.

摘要：该提案旨在支持美国公民的旅行。S. 1997年7月在俄罗斯喀山举行的一个为期一周的可计算性理论讲习班。马拉特阿尔斯拉诺夫（喀山州立大学）和谢尔盖贡恰罗夫（俄罗斯科学院，新西伯利亚分支）以及斯特芬伦普（威斯康星大学麦迪逊分校）和罗伯特索尔（芝加哥大学）。 拟议的讲习班（将与复杂性理论讲习班在同一地点联合举行，由教授们组织。这是第一次这样的会议，旨在让大约30名俄罗斯科学家和30名来自美国的科学家进行密切接触。S.和其他西方国家。 可计算性理论，研究数学中不可解的问题，是数理逻辑的一个成熟的分支，在美国和俄罗斯特别有代表性。 由于明显的政治原因，过去两国在这一领域的互动相当有限。 研究兴趣也在该领域内向不同的方向发展; e.例如，在一个实施例中，在俄罗斯，重点是可计算性理论在代数中的应用，而在美国，经典可计算性理论更占主导地位。 另一方面，各个方向之间显然存在着密切联系，已经进行的少量合作研究就是证明。 虽然政治障碍到目前为止已基本消失，但严重的财政困难已证明几乎是实地相互合作的巨大障碍。 因此，组织一次有大量俄罗斯人参加的会议的唯一办法似乎是在俄罗斯境内组织一次会议，减少俄罗斯与会者的旅费，并指望非俄罗斯与会者能够更容易地筹集旅费。