型图灵机论文

零点定理、中值定理的可计算性
论文摘要可计算理论最终要实现的是怎样计算连续函数。在普通图灵机理论中我们会首先通过图灵机来介绍半字函数f:(?)∑*→∑*上的可计算性。然后通过名来定义其它集合(如有理数集,有...