Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
根据算法随机性将非标准分析与可计算性理论结合起来
基本信息
- 批准号:19340019
- 负责人:
- 金额:$ 11.23万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (B)
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2010
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The main purpose of this research is to lay a logical foundation for non-standard arguments, which have been developed in abstract set theory traditionally. Basing non-standard methods on weak subsystems of second order arithmetic connected with computability, we can obtain constructive contents of propositions by such methods. To device non-standard methods for second order arithmetic, we need to investigate their non-standard models, which are indeed sets of reals (infinite sequences). Amongst the sets of reals, many contain many random elements, which we also explore in this study.
本研究的主要目的是为传统上在抽象集合论中发展的非标准论证奠定逻辑基础。基于与可计算性有关的二阶算术弱子系统的非标准方法,可以得到命题的构造性内容。为了设计二阶算术的非标准方法,我们需要研究它们的非标准模型,这些模型实际上是实数集(无限序列)。在实数的集合中,许多包含许多随机元素,我们也在这项研究中进行了探索。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Determinacy, Ramsey Property and Π^1_2-comprehension
确定性、Ramsey 性质和 Π^1_2-理解
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:寺井直樹;吉田健一;M. Kaneko;K. Tanaka
- 通讯作者:K. Tanaka
Weak determinacy and iterations of inductive definitions
归纳定义的弱确定性和迭代
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:S.Usui;K.Kato;M. O. Med Salem
- 通讯作者:M. O. Med Salem
A Lemma on K-random Extension
K-随机扩展的引理
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0
- 作者:N.Peng;T.Yamazaki;K.Tanaka;C.G.Liu
- 通讯作者:C.G.Liu
Uncertain Association Rule Mining Approach for Cell Formation Problem in Cellular Manufacturing Systems
细胞制造系统中细胞形成问题的不确定关联规则挖掘方法
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:K. Kimura;Naoki Terai;Ken-ichi Yoshida;D. Arnak and N. Yoshida;K.Tanaka
- 通讯作者:K.Tanaka
A cell formation algorithm incorporating practical production factors
结合实际生产因素的细胞形成算法
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Yuji Sakamoto;Nakahiro Yoshida;C. G. Liu
- 通讯作者:C. G. Liu
{{
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 }}
TANAKA Kazuyuki其他文献
TANAKA Kazuyuki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('TANAKA Kazuyuki', 18)}}的其他基金
Investigation of a novel host-microbial interaction focusing on the recognition of bacterial derived molecules by intestinal epithelial integrin.
研究一种新型宿主-微生物相互作用,重点关注肠上皮整合素对细菌衍生分子的识别。
- 批准号:
15K19307 - 财政年份:2015
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Design Theory of Probabilistic Computational Models for Community Detections based on Non-Additive Volume and Entropy
基于非加性体积和熵的社区检测概率计算模型设计理论
- 批准号:
25280089 - 财政年份:2013
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Generation of fundamental design theory of Bayesian ad-hoc network systems based on Markov random fields
基于马尔可夫随机场的贝叶斯自组织网络系统基本设计理论的生成
- 批准号:
24650115 - 财政年份:2012
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
随机性的计算方面及其通过非标准方法的结构分析
- 批准号:
23340020 - 财政年份:2011
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Towards construction of a new computation model based on quantum mechanics
构建基于量子力学的新计算模型
- 批准号:
23650001 - 财政年份:2011
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
Creative extensions of data mining theory by means of quantum-mechanical labeling
通过量子力学标记对数据挖掘理论进行创造性扩展
- 批准号:
22300078 - 财政年份:2010
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Design of sophisticated Bayesian network systems based on large-scale random fields
基于大规模随机场的复杂贝叶斯网络系统设计
- 批准号:
18079002 - 财政年份:2006
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
Fundamental Study for Bayesian Network Systems based on Quantum-Mechanical Fluctuation
基于量子力学涨落的贝叶斯网络系统基础研究
- 批准号:
17500134 - 财政年份:2005
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Design of adaptive image processing filter based on Markov random field models
基于马尔可夫随机场模型的自适应图像处理滤波器设计
- 批准号:
14084203 - 财政年份:2002
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
Application of Tunneling Effect in Quantized Probabilistic Model to Intelligent Information Processing
量化概率模型中隧道效应在智能信息处理中的应用
- 批准号:
13680384 - 财政年份:2001
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似海外基金
超準解析を用いたハイブリッドシステム検証
使用超准分析进行混合系统验证
- 批准号:
15J05580 - 财政年份:2015
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for JSPS Fellows
超準手法と算術の融合による逆数学プログラムと超準解析学の発展
通过半准方法和算术的融合开发逆向数学程序和半准分析
- 批准号:
21740061 - 财政年份:2009
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
超準解析による極限定理の幾何学的解釈
使用超副分析对极限定理进行几何解释
- 批准号:
17654036 - 财政年份:2005
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Exploratory Research
超準解析に基づく多様体上の確率力学系とその関連分野の研究
基于半拟分析的流形随机动力系统及相关领域研究
- 批准号:
08640268 - 财政年份:1996
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
関数解析の超準解析的研究
泛函分析的超半解析研究
- 批准号:
08640202 - 财政年份:1996
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
関数解析の超準解析的研究
泛函分析的超半解析研究
- 批准号:
03640158 - 财政年份:1991
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
超準解析の研究
超半分析研究
- 批准号:
62540166 - 财政年份:1987
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
関数解析と超準解析
泛函分析和半二次分析
- 批准号:
60540091 - 财政年份:1985
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
関数解析の超準解析的研究
泛函分析的超半解析研究
- 批准号:
59540084 - 财政年份:1984
- 资助金额:
$ 11.23万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)