数学联邦政治世界观
超小超大

计算机结构(二)

给定两个计算模型我们是可能有多种模拟方式的。比如给定一个有有限字母表的图灵机,我们可以有非常多种不同的方式来表达自然数;假设我们想要把基于递归论的可计算性用图灵机的方式进行模拟,则任意一种不同的表示自然数的方式应该都对应着不同的模拟方式(当然,表达自然数的方式只是一个计算模拟中很小的一个方面,由于在此处我们没有介绍其严格数学定义,我们仅以此为例;在下一篇文章中我们会更加严格地阐述计算模型和模拟的数学定义)。在这些不同的模拟方式下,有些模拟方式之间是能够可计算转换地(再一次,对于可计算转换地直观我们可以参考在拓扑的语境下连续转换的直观)。对于熟悉范畴论的读者,上面的描述很自然地构成了一个 2-阶范畴 [2-category]。在 2-阶范畴的语境下,我们有非常一般的有关等价 [equivalence] 的定义,而我们对于计算模型的等价也就定义为这个 2-阶范畴中的等价了。

结语

在这篇文章中我们对可计算性和计算模型进行了一个概念反思。对笔者个人而言,这样的思维过程是重要的,因为最终和空间以及连续性的概念一样,我们是想要对什么是空间这样一个抽象的概念进行理解与研究,而不仅仅是局限在研究三维欧式空间中的几何。尽管不能说拓扑的概念是我们对空间这个概念所作出的最终答案,但这的确是第一个抽象的框架使得我们能够阐述有关连续函数的一般性质。完全类似的,关于可计算性这个概念我们也需要这样的一套框架使得我们能够对一般的可计算性进行研究。我相信这样的思维方式一定会极大地扩展可计算性相关研究的视野及内容,对我们更加深入地理解数学的本质一定是有很大的帮助的。希望感兴趣的同学能够开始思考相关的问题。

参考:

1. Longley, J., & Normann, D. (2015). Higher-order computability (Vol. 100). Heidelberg: Springer.

2. Cooper, S. B. (2017). Computability theory. Chapman and Hall/CRC.

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

戏子中的女孩:等着,我不会忘你 连载中
戏子中的女孩:等着,我不会忘你
路戏人悲平常心己
主角世界观十分宏大,至今为止,网上绝对没有一个人能超越!更改中……更改内容,名字题目这只是第三本的一个介绍,介绍世界世界观的一本小说,我只能......
2.9万字8个月前
愿祈世安 连载中
愿祈世安
糖糖就是俺
—“黑暗后的黎明名为希望.”—“是绝望亦或是希望?”......唯祈愿世安,奈何世不遂她所愿.
0.5万字8个月前
什么时候才能当主角 连载中
什么时候才能当主角
到处随逛
穿越剧情,星越祈穿越到各个剧情中,填各种的坑,填完之后还要带队友做业务,呵呵,不过越来越爽是怎么回事?
0.9万字7个月前
十二星座之曙光现 连载中
十二星座之曙光现
soon曦童
“这是我们最后一次的朋友相称,站在赛场上,我们只是敌人关系。”——锦熙悦(白羊座)“即是决出生死的赛场,我也会依旧站在你身后保护你。”——泽......
1.5万字6个月前
荆棘本无意 连载中
荆棘本无意
是你喵总
这是荆棘家离开后的故事,莱洛拉受伤被两位老人家救了,却意外害死了这两位老人家。后来,她化名为温溪并认识了阿鹤,结伴与羽逾等人一起去寻找莱洛拉......
2.1万字5个月前
迷雾迷踪……ch 连载中
迷雾迷踪……ch
桐穆
因为穿越到了一个地方,友谊产生了裂缝,没想到最后的罪魁祸首居然是他……
2.0万字4周前