分析中的可计算性

• 作者: 许道云
• 来源期刊: 宁夏大学学报（自然科学版）
• 学科: 工学
• 关键词: 实数表示 第二型图灵机 命名系统 能行计算理论 能行拓扑空间
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 数学
• 页码范围: 6-13
• 分类号: TP301
• 字数: 10185字
• 语种: 中文
• DOI: 10.3969/j.issn.0253-2328.2012.01.002

摘要

工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实数的重新理解和认识是研究分析中可计算性的重要基础.Klaus Weihrauch基于第二型图灵计算模型,引入了基于无穷串的可计算函数的概念,并建立了第二型能行计算理论.有关可计算实数理论的几种经典模型可以统一在第二型能行计算理论框架中.对于一般的集合,为研究其中元素的可计算性,引入基于字母集∑的表示系统.形式上是一个部分函数v:(∈)∑*→M或δ:(∈)∑ω→M(称为命名系统),不同命名系统下刻画不同的逼近方法,诱导出不同的可计算性,在能行拓扑空间中诱导出不同的拓扑.拓扑与命名系统之间的内在联系,使得抽象空间中可计算性的研究得到自然延伸.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学系	125	460	12.0	16.0