分析中的可计算性

作者：许道云

来源：宁夏大学学报(自然科学版), 2012, (01): 6-13.

• 实数表示
• 第二型图灵机
• 命名系统
• 能行计算理论
• 能行拓扑空间 representation of real number
• type-2 Turing machine
• naming system
• effective theory of computation
• effective topology space

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

• 单位
  贵州大学