用ω-Turing机计算实数函数

来源 :前沿科学 | 被引量 : 0次 | 上传用户:ywl1241
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为
其他文献
本本文报道了基于混合物理化学气相沉积方法制备高质量干净极限MgB2薄膜和碳掺杂MgB2薄膜的最新结果.c轴外延干净的MgB2薄膜具有高达41.4K的超导转变温度,低于0.3μΩcm的正
纳米药物用于恶性肿瘤治疗时最棘手的问题之一是肿瘤靶向效率较低,释放的药物难以特异性杀死肿瘤细胞。肿瘤靶向效率已成为纳米药物研发和临床应用的瓶颈问题。
据美国《大众科学》网站近日报道,美国IBM公司的科学家研制出了首款由石墨烯圆片制成的集成电路,向开发石墨烯计算机芯片前进了一步。科学家们认为,这项突破可能预示着,
据国外媒体报道,科学家发现,宇宙可能会永远膨胀下去.美国宇航局研究人员利用哈勃太空望远镜计算宇宙里存在的神秘"暗能量"的总数,发现宇宙最终将演变成一个寒冷、荒凉的地方
期刊
<前沿科学>编辑部:看了谭、沈两位教授的通信,现对他们的争议问题发表如下看法:1."悖论"是相对论随意设置各种速度的参照系作静系所致.
期刊
本文针对"奇点定理"证明过程中存在的时间概念、数理逻辑和前提条件等方面的悖谬,在逐次解析的基础上,符合逻辑地论证了奇点定理证明的有关时间开始与终结的结论是不能成立的
一项最新研究发现,不断缩小的大脑可能是作为人类需要付出的代价。研究结果显示,只有人类的大脑会随着年龄增长而不断缩小。
本文提出了依靠科技创新,搞好节约型制造的措施和目标.指出要从节约资源,节约能源,再循环、再制造、再利用等几个方面入手,逐步完成节约型制造的预定目标,为全面建设节约型社
科学家们近日研究发现了一颗迄今在环境条件上和地球最为类似的行星,不禁让人们对于那里是否存在生命充满期待。
2000年,日本政府在第二期科学技术基本计划中提出了"50年内产生30名左右的诺贝尔奖获得者"的目标.此目标一经提出,在日本国内引起巨大反响.其中不乏反对之声.为了实现目标,日
期刊