图灵完备,很容易可以达到,但是只是理论上可以达到。forecasting 写了: 2024年 11月 14日 12:14 图灵完备是指另外一计算模型,比如语言,比如函数,跟图灵机等价,也就是图灵机能计算的,它们也能计算,它们能计算的,图灵机也能计算。无定义时就都无定义。
如果设计的另外的计算模型不是图灵完备的,那么有一些图灵机可计算的,这模型无法计算,可能出现一些简单的问题都无法解决。比如SQL语言,应该不是图灵完备的。你使用sql的时候有感觉,就是经常觉得捆住了手一样,一些事情无法完成。
要求DNN是图灵完备的,其实是指可能存在的所有DNN的集合,并不是指单一的特定的网络。训练网络时,到底有多少层,多么宽,完全凭经验,有一些理论上的粗略估计,但还是不比凭经验或者凭运气碰好。这就是DNN目前的处境。大家都不了解其底层的机制,没法用理论解释解决DNN,那些吹出来的理论都很浮泛,象国内教的哲学,比如Ilya跑UCB还是Stanford做的那个关于DNN的演讲,用了Kolmogorov Complexity,不错,但根本解决不了问题,框架太大太空了。
理论上打字机可以打出莎士比亚
事实上就是打不出来。