分析中的可计算性

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