假设 g(G,v) 是一个近似函数（算法），它返回 v 在有向图 G 中属于的最长简单循环的大小（边数），错误
我正在构建一种类似于 FRACTRAN 的语言，我想知道 FRACTRAN 中是否有任何已知的程序可以证明它是图灵完备
由于 LaTeX 是图灵完备的，这显然是可能的，尽管效率非常低，但作为一个噱头，它是否可行？此外，它
符号标志表示操作结果是否定的。<br/>
现在，按照我的理解，当操作结果为负时，符号
标志已设置。但
“不可能创建一个计算机程序 A，当给定任何程序 B 作为输入时，它可以确定 B 是否生成“hello world”作
这里我的意思是公理是我们可以在 Coq Gallina 中用 <code>Axiom</code> 关键字定义的东西，而不是传递给 Coq 的
