3. 前机器是非自治动力系统 [5]。一些前机器程序可以增加其程序复杂度,而对表示前机器程序所需的最小位数没有任何上限。这是一个至关重要的见解,因为停机问题的信息论证明的矛盾取决于图灵机的程序复杂度保持不变。通过研究 [2] 中的第 362-363 页或 [3] 可以轻松看到这一点。前机器的这一特性使它们能够规避 [2] 第 362-363 页证明中的矛盾。非自治动力系统表现出更有趣/更复杂的动态行为。当拓扑空间是连续体时,非自治系统肯定会表现出更复杂的行为。请参阅 [5] 中的第 2 章,标题为“非自治系统中周期点的不稳定性”,位于网页 https://www.aemea.org/msf.html 的底部附近。(单击稳定性:24-31 和稳定性:32-37。)
主要关键词