事理上来说，
要讲清法式在计算机内部运行需要一本书，200页以上。
很明显我那里写不出来，更何况写出来大要也和楼下说的差不多，
根本从黑皮书抄过来....
所以，
用“人话”讲讲吧。
因而，
也就三句话：
法式素质上都是在做数学题。
能够被计算机处理的数学题都是能够被形式化证明的。
电子元器件中与门/或门/非门组合起来能够用来表达数学逻辑。
法式或算法能够被形式化地证明是准确的吗，若是能够，应该若何证明？ 阿尔法小分队：计算机科学速成课：布尔逻辑与逻辑门 混沌：什么是法式？ 编程到底难在哪里？笑话一则：
0