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.
摘要奖:DMS-0245167主要研究者:Peter A. Cholak首席研究员计划研究可计算性理论中出现的各种结构中的可定义性和自同构之间的关系。 主要的,但不是全部的,他将集中在所有可计算可排集的集合上。主要研究者也将考虑所有Pi 01类和可计算可排度的集合。 一个长期的目标是提供一个完整的理解这些结构和它们的自同构和可定义的轨道。 在可计算结构理论和二阶算术模型方面也计划了一些相关的项目,这些项目的主要焦点是可定义性和可计算性。 这两个概念在衡量数学问题答案的复杂性时都很重要。 问题,如“有没有一个计算机程序,可以解决所有的问题,这类?“一个人发展了一个可定义性和可计算性交织的层次结构。 只有最低层次的答案才是可计算的,即使这样,在今天的计算机条件下,它们也不总是可计算的。 高复杂度的答案提供了有用的数学信息,允许人们测试数学技术的极限,揭示是否使用了错误的技术,并且在一些非常罕见的情况下,可以用于编码/解码信息。
项目成果
期刊论文数量(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