Mathematical Sciences: Some Recursion Theoretic Problems

数学科学：一些递归理论问题

• 批准号: 8910312
• 负责人: Leo Harrington
• 金额: $ 8.57万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-07-15 至 1993-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8910312&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Some; Recursion; Theoretic

Investigations will be pursued into: automorphisms of the recursively enumerable (r.e.) sets, a combinatorial problem related to initial segments of the truth-table r.e. degrees, and Borel orderings. These are topics in the foundations of mathematics and computer science, underpinning our notions of what constitutes a proof.

调查将被追究到：自同构的 recursively可递归的（r.e.）集合，一个组合问题 与真值表r.e.的初始段相关。度和 博雷尔命令。 这些都是基础的主题， 数学和计算机科学，支撑着我们的概念， 什么是证据