首先,现代数学或者说范畴论的经验告诉我们,要回答关于等价的问题,事实上是要回答态射的问题(顺嘴一提,这一点也说明有等价这个概念的地方就有范畴论的身影,如果再推广到无穷范畴则是有若等价这个概念的地方就有无穷范畴的身影;这从侧面解释了为何范畴和无穷范畴能够作为现代数学的语言而存在)。在可计算性的语境下,我们要考虑的态射则应该是某种模拟 [simulation],即在一个计算模型中能够作出的计算能否平行的用另一个计算模型来进行模拟。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。