问题标签 [halting-problem]

据我了解，赖斯定理似乎暗示了停机问题的存在。也就是说，利用赖斯定理，我们可以证明停机问题是不可判定的。但是，对我来说，似乎可以使用停止问题不可判定来证明赖斯定理。我不确定如何证明这样的事情（尽管矛盾似乎是很自然的事情），但我觉得这应该是可能的？

我想检查两个程序中的哪一个会停止：

由于每次迭代都是一种函数组合，最终导致函数在while循环中的幂，我想离散对数可能会解决这个问题。

围绕解决问题的任何 Prolog 实现？

我正在使用 mysql8 运行节点服务器。
此查询不断弹出并冻结。
SELECT /*+ MAX_EXECUTION_TIME(2000) */ COUNT(*) FROM my_table
即使这个查询已经MAX_EXECUTION_TIME在其中提到，它仍然执行超过这个限制（基本上它永远不会停止）。我看到它运行的最长时间大约是 20-30 天，即使在那之后它也没有停止，我已经重新启动了服务器。

主要问题是我什至无法终止此查询。即使在杀死它之后，它也会继续执行并且永不停止。
我什至无法重新启动mysql。尝试重新启动mysql后。它只是关闭，永远不会重新开始。
我不得不重新启动服务器（这是完全不可接受的）。

SHOW OPEN TABLES;
表明该表正在使用中。它不影响在表中读取、更新或插入数据。但是，一旦我尝试更改此表或任何其他对此表有任何引用的表。当查询发生死锁时，它会冻结整个节点服务器，并且每个查询都在等待第一个查询结束，如前所述，永远不会。

我的任何节点 js 代码中都不存在这个有问题的查询。
但是由我的节点服务器使用的用户（mysql用户）执行，我也使用这个用户和管理员。

此查询始终与此特定表一起显示。以下是show create table my_table;（表名和列名已更改）的示例输出

此表中的行数约为 4000。

确切的 mysql 版本 8.0.19

我正在用 C 语言做计算机科学，因为计算机科学家不这样做，所以我来这里是为了获得更多实际帮助。我需要具体地做计算机科学（用 C 和 x86 机器语言），因为抽象会泄露关键细节。

其机器语言的执行轨迹证明，上述函数从同一个机器地址、同一个输入数据依次被调用至少两次。

是否有任何反例，其中一个函数从同一个机器地址以非无限递归的相同输入按顺序调用两次**？

** 中间可以有任何中间代码
（函数从被调用函数返回到同一调用者除外）。

哈林问题的这个说明是否正确？

如果是这样，为什么这么多描述涉及一个带有两个参数的函数，其中一个是程序，另一个是与程序输入相同的程序？

例如：

假设我们有一个函数 Halts(P, W)，如果程序 P 在输入 W 上停止，它就会停止。然后我们编写这个完全有效的 Python 函数：

现在，当我们调用 K(K) 时会发生什么？如果 Halts(K,K) 为 True，则 K(K) 挂起（永远运行） 如果 Halts(K,K) 为 False，则 K(K) 停止 所以无论哪种方式，Halts(K,K) 都是错误的。因此，Halts 函数不存在！

我想应用这个要求：

用户应该能够对项目进行投标。该出价必须大于出价，如果不显示错误消息

• 我的问题是当我运行服务器时，投标表格消失了，除了这个段落我什么都看不到

我试着做我所拥有的那件事

网址.py

视图.py

模型.py

我的 HTML 文件 (item.html)