However, all such computational systems are subject to a limitation known as the Haltingproblem.
然而,所有这些计算系统受到的停机问题已知的限制。
2
To try to verify dynamic code at compile time would likely walk you straight into the haltingproblem just like it would for many kinds of tooling.
试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
3
The company responded by halting sales of seized homes in the 23 states where court approval is required to foreclose while it gets to the bottom of its "robo-signing" problem.