以前总想了解CPU
是如何聪明起来的?
后面找到一个分析这个问题的入手方向,可以通过研究RISC-V
指令集去尝试解决这个疑问。
选择RISC-V
指令集的原因源于它的现代和简单,比起复杂指令集而言,RISC-V
好学习、好研究些。
研究之后,发现RISC-V
指令集在基本指令集内是非常简单的
就这样一些看似不起眼的指令,就让CPU
聪明起来了么?
粗略来看,如果非严格证明地说,除了机器运行指令需要指令外,用关系和比较指令来完成问题定性,再用数值计算来量化问题,符合我们人类研究、分析事物,先定性,后定量的方法论!
特别是,加载和存储指令,与后面将要介绍的图灵机概念紧密相连!
但粗略这样说,有点非形式化和不具备逻辑性。
如果从理论渊源来看,CPU
是如何聪明起来的?将看的更清楚一点!
能否通过有限步骤来判定不定方程是否存在有理整数解?
不同领域的专家,通过自己的方法证明此问题的否定回答
图灵将可计算性定义为类似图灵机可以左右移动、读写纸带的机器,每个图灵机拥有自己的内态,或可以看成指令集,来指导图灵机进行工作,以至于最后停机输出结果
是否存在一个图灵机可以判定所有的图灵机是否能够停机
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论等。
证明的关键均在于康托尔的对角线反证法,证明存在不可计算的问题。
算法可以在图灵机上进行计算
在所有类型的图灵机中的神灵,存在一些图灵机可以模拟其它图灵机的运行,成为普适图灵机!
对于现代电子计算机而言,比较好的普适图灵机模型,就是冯诺依曼结构的计算机:程序加载,程序执行
CPU
聪明的边界在于可计算问题和普适图灵机。
因为CPU
作为普适图灵机,它可以执行的可计算性问题,可以认为是无穷的!
需要找到一个个具体的算法,它就逐渐聪明起来了!
对照RISC-V
的基本指令集,可以看到图灵机的影子