剧透警告!(到底是不是图灵机呢(๑•̀ㅂ•́)و✧

不说废话,开始胡扯。


引理1

阿尔塔拉拥有无限的存储空间

引理2

阿尔塔拉内部可以自行发生修改

引理3

虽然阿尔塔拉内部不可以修改人脑中的信息,却可以模拟人脑运行

推论1

由前三条引理可以得到,在阿尔塔拉内部可以模拟未来的运行,且阿尔塔拉内部的“未来”可以干涉阿尔塔拉内部的“过去”。

引理4

阿尔塔拉内部出现逻辑错误时,系统会立刻自动修正,但无法修正人脑

证明(胡扯)

不妨取\(A_{TM}\)的一个问题实例为\(<M, w>\),在阿尔塔拉内部的一个时间点\(t\),开始,一方面断言该问题的回答为拒绝,另一方面开始在阿尔塔拉中模拟\(M\)\(w\)上运行,如果发现其在时间\(t'\)被接受,可以根据推论1干涉时间点\(t\)的断言,由于该干涉会导致逻辑错误的产生,于是根据引理4,阿尔塔拉系统会出现自动修正。

于是在阿尔塔拉开始模拟该问题后,便可以根据时间\(t\)处,人脑信息是否发生变化,判断该问题是否属于\(A_{TM}\),即在时间\(t\)便判定了\(A_{TM}\),于是阿尔塔拉拥有超过图灵机的计算能力。