Definability and Automorphisms in Computability Theory
可计算性理论中的可定义性和自同构
基本信息
- 批准号:0245167
- 负责人:
- 金额:$ 36.29万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2003
- 资助国家:美国
- 起止时间:2003-07-01 至 2009-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
AbstractAward: DMS-0245167Principal Investigator: Peter A. CholakThe principal investigator plans to study the relationshipbetween definability and automorphisms in various structuresarising in computability theory. Primarily, but not totally, hewill focus on the collection of all computably enumerable sets.The principal investigator will also consider the collection ofall Pi01 classes and the computably enumerable degrees. A longrange goal is to provide a complete understanding of thesestructures and their automorphisms and definable orbits. Somerelated projects in computable structure theory and models ofsecond order arithmetic are also planned.The main focus of these projects is on definability andcomputability. These notions are both important in measuring thecomplexity of an answer to a mathematical problem. Problems suchas "Is there a computer program which can solve all questions ofthis type?" One develops an intertwined hierarchy ofdefinability and computability. Only answers which lay on thelowest level are computable and even then they are not alwaysfeasibly computable given today's computers. Answers of highercomplexity provide useful mathematical information, allow one totest the limits of mathematical techniques, reveal whether thewrong techniques are being used, and, in some very rare cases,can be useful for encoding/decoding information.
摘要:项目负责人:Peter A. cholak,主要研究可计算理论中出现的各种结构的可定义性和自同构之间的关系。他将主要(但不是全部)关注所有可计算枚举集合的集合。首席研究员还将考虑所有Pi01类和可计算枚举学位的集合。长期目标是提供对这些结构及其自同构和可定义轨道的完整理解。规划了可计算结构理论和二阶算法模型的相关课题。这些项目的主要焦点是可定义性和可计算性。这两个概念在测量数学问题答案的复杂性时都很重要。诸如“有没有一种计算机程序可以解决所有这类问题?”一种是可定义性和可计算性交织在一起的层次结构。只有在最低层次上的答案是可计算的,即使是这样,考虑到今天的计算机,它们也不总是可行的。高复杂性的答案提供了有用的数学信息,允许人们测试数学技术的极限,揭示是否使用了错误的技术,并且在一些非常罕见的情况下,可以用于编码/解码信息。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Peter Cholak其他文献
Peter Cholak的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Peter Cholak', 18)}}的其他基金
FRG: Collaborative Research: Computability-Theoretic Aspects of Combinatorics
FRG:协作研究:组合学的可计算性理论方面
- 批准号:
1854136 - 财政年份:2019
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
Ramsey Theory and Computability: Rome
拉姆齐理论和可计算性:罗马
- 批准号:
1822193 - 财政年份:2018
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
US Participation in New Zealand Logic Meetings
美国参加新西兰逻辑会议
- 批准号:
1640836 - 财政年份:2016
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
EMSW21-RTG: Notre Dame's Mathematical Logic Program
EMSW21-RTG:圣母大学的数学逻辑程序
- 批准号:
0838506 - 财政年份:2009
- 资助金额:
$ 36.29万 - 项目类别:
Continuing Grant
EMSW21 - RTG: Research Training in Mathematical Logic at Notre Dame
EMSW21 - RTG:圣母大学数理逻辑研究培训
- 批准号:
0739007 - 财政年份:2008
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
FRG: Collaborative Research: Algorithmic Randomness
FRG:协作研究:算法随机性
- 批准号:
0652669 - 财政年份:2007
- 资助金额:
$ 36.29万 - 项目类别:
Continuing Grant
Computability and definability in mathematical logic
数理逻辑中的可计算性和可定义性
- 批准号:
9988716 - 财政年份:2000
- 资助金额:
$ 36.29万 - 项目类别:
Continuing Grant
Mathematical Sciences: Computability in Mathematics
数学科学:数学中的可计算性
- 批准号:
9634565 - 财政年份:1996
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
Mathematical Sciences: Postdoctoral Research Fellowship
数学科学:博士后研究奖学金
- 批准号:
9206186 - 财政年份:1992
- 资助金额:
$ 36.29万 - 项目类别:
Fellowship Award
相似海外基金
The Higman-Thompson groups, their generalisations, and automorphisms of shift spaces
希格曼-汤普森群、它们的概括以及移位空间的自同构
- 批准号:
EP/X02606X/1 - 财政年份:2024
- 资助金额:
$ 36.29万 - 项目类别:
Fellowship
Outer automorphisms of free groups, outer space, and related deformation spaces
自由群、外层空间和相关变形空间的外自同构
- 批准号:
RGPIN-2019-04318 - 财政年份:2022
- 资助金额:
$ 36.29万 - 项目类别:
Discovery Grants Program - Individual
K-Trivial Varieties - Degenerations, Automorphisms, and Periods
K-平凡簇 - 简并、自同构和周期
- 批准号:
2101640 - 财政年份:2021
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
Outer automorphisms of free groups, outer space, and related deformation spaces
自由群、外层空间和相关变形空间的外自同构
- 批准号:
RGPIN-2019-04318 - 财政年份:2021
- 资助金额:
$ 36.29万 - 项目类别:
Discovery Grants Program - Individual
RUI: Galois Automorphisms and Local-Global Properties of Representations of Finite Groups
RUI:有限群表示的伽罗瓦自同构和局部全局性质
- 批准号:
2100912 - 财政年份:2021
- 资助金额:
$ 36.29万 - 项目类别:
Standard Grant
Outer automorphisms of free groups, outer space, and related deformation spaces
自由群、外层空间和相关变形空间的外自同构
- 批准号:
RGPIN-2019-04318 - 财政年份:2020
- 资助金额:
$ 36.29万 - 项目类别:
Discovery Grants Program - Individual
Automorphisms and embeddings of manifolds (C01)
流形的自同构和嵌入 (C01)
- 批准号:
444032031 - 财政年份:2020
- 资助金额:
$ 36.29万 - 项目类别:
Collaborative Research Centres
Geometric Teichmuller Theory and Free Group Automorphisms
几何Teichmuller理论和自由群自同构
- 批准号:
535148-2019 - 财政年份:2020
- 资助金额:
$ 36.29万 - 项目类别:
Postgraduate Scholarships - Doctoral
Automorphisms of real division algebras
实除代数的自同构
- 批准号:
551422-2020 - 财政年份:2020
- 资助金额:
$ 36.29万 - 项目类别:
University Undergraduate Student Research Awards
Representation categories of infinite-dimensional Lie algebras and superalgebras, and automorphisms of homogeneous ind-spaces
无限维李代数和超代数的表示范畴以及齐次 ind 空间的自同构
- 批准号:
448324667 - 财政年份:2020
- 资助金额:
$ 36.29万 - 项目类别:
Research Grants














{{item.name}}会员




